Pinned Repositories
galib
Modernized GAlib
dpll
factoriogen
Generate Factorio combinators from code
galib
Modernized GAlib
ipasir-sys
A Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.
notan
Cross-platform multimedia layer
practical_sat
qmckcpp
transfer-assignment
VVVVVV
The source code to VVVVVV, now open and public!
tfki's Repositories
tfki/dpll
tfki/factoriogen
Generate Factorio combinators from code
tfki/galib
Modernized GAlib
tfki/ipasir-sys
A Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.
tfki/notan
Cross-platform multimedia layer
tfki/practical_sat
tfki/qmckcpp
tfki/transfer-assignment
tfki/VVVVVV
The source code to VVVVVV, now open and public!