MiniSat-targeted EigenScript SAT solver and benchmark suite
-
Updated
Jul 10, 2026 - Shell
#
eigenscript
Here are 6 public repositories matching this topic...
EigenScript stress harness for root language/runtime gap discovery
-
Updated
Jul 10, 2026 - Shell
A spec-precise Game Boy (DMG) emulator written entirely in EigenScript — passes Blargg's test suites; a demanding stress test for the language.
-
Updated
Jul 10, 2026 - Shell
Observer-rich dynamical-systems lab in EigenScript — equilibrium-seeking systems exercising the convergence predicates and temporal history; forcing function + iLambdaAi corpus source
-
Updated
Jul 10, 2026 - Shell
Serialization format + crash-recoverable persistent store, written entirely in EigenScript (durable-determinism sequel to the liferaft DST)
-
Updated
Jul 10, 2026 - Shell
Deterministic simulation tester for Raft, in EigenScript — a runtime stress test (ported from codekitchen/liferaft)
-
Updated
Jul 10, 2026 - Shell
Improve this page
Add a description, image, and links to the eigenscript topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the eigenscript topic, visit your repo's landing page and select "manage topics."