Member of GitHub orgs
CLRXmatszpk created 23 crates
-
min_infmachine_exec
Sole owner since Aug 2025. Last updated 2 months ago. -
min_infmachine
Sole owner since Aug 2025. Last updated 2 months ago. -
gatesim
Sole owner since Feb 2025. Last updated 2 months ago. -
infmachine_examples
Sole owner since May 2025. Last updated 4 months ago. -
infmachine_exec
Sole owner since May 2025. Last updated 4 months ago. -
infmachine_gen
Sole owner since May 2025. Last updated 4 months ago. -
infmachine
Sole owner since May 2025. Last updated 4 months ago. -
infmachine_config
Sole owner since May 2025. Last updated 4 months ago. -
naivesat
Sole owner since Feb 2025. Last updated 7 months ago. -
gatenative
Sole owner since Feb 2025. Last updated 7 months ago. -
circuit_sat_check
Sole owner since Feb 2025. Last updated 7 months ago. -
gateconvert_exec
Sole owner since Feb 2025. Last updated 7 months ago. -
gateconvert
Sole owner since Feb 2025. Last updated 7 months ago. -
gategen
Sole owner since Feb 2025. Last updated 7 months ago. -
gateutil
Sole owner since Feb 2025. Last updated 7 months ago. -
gate_calc_log_bits
Sole owner since Feb 2025. Last updated 7 months ago. -
exec-sat
Sole owner since Oct 2022. Last updated 8 months ago. -
cnfgen
1.3K Sole owner since Oct 2022. Last updated 8 months ago. -
simple-irc-server
Sole owner since May 2022. Last updated a year ago. -
cnfgen-nand-opt
Sole owner since Oct 2022. Last updated 2 years ago. -
slog-json-concur
Sole owner since Jul 2022. Last updated 3 years ago. -
simple-hyper-server-tls
Sole owner since May 2022. Last updated 3 years ago. -
matszpk-sokoban
Sole owner since May 2022. Last updated 3 years ago.