Member of GitHub orgs
CLRXmatszpk created 16 crates
-
naivesat
Sole owner since Feb 2025. Last updated 2 months ago. -
gatenative
Sole owner since Feb 2025. Last updated 2 months ago. -
circuit_sat_check
Sole owner since Feb 2025. Last updated 2 months ago. -
gateconvert_exec
Sole owner since Feb 2025. Last updated 2 months ago. -
gateconvert
Sole owner since Feb 2025. Last updated 2 months ago. -
gategen
Sole owner since Feb 2025. Last updated 2 months ago. -
gateutil
Sole owner since Feb 2025. Last updated 2 months ago. -
gatesim
Sole owner since Feb 2025. Last updated 2 months ago. -
gate_calc_log_bits
Sole owner since Feb 2025. Last updated 2 months ago. -
exec-sat
Sole owner since Oct 2022. Last updated 2 months ago. -
cnfgen
Sole owner since Oct 2022. Last updated 2 months ago. -
simple-irc-server
Sole owner since May 2022. Last updated 9 months ago. -
cnfgen-nand-opt
Sole owner since Oct 2022. Last updated 2 years ago. -
slog-json-concur
Sole owner since Jul 2022. Last updated 2 years ago. -
simple-hyper-server-tls
Sole owner since May 2022. Last updated 2 years ago. -
matszpk-sokoban
Sole owner since May 2022. Last updated 2 years ago.