nick8325/fourier-motzkin
A wee solver for linear inequalities based on Fourier-Motzkin elimination.
Public GitHub Catalog
Discovered Oct 6, 2026
nick8325 / twee
(now moved to Codeberg) An equational theorem prover based on Knuth-Bendix completion
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#33996151GitHub System ID
nick8325Organization / User
PublicVisibility
ActiveCatalog Status
More from nick8325
nick8325/haiku-ghc
Instructions+patches for building GHC for Haiku
nick8325/gc
A non-conservative garbage collector for cooperating C programs. Not entirely sure why it exists.
nick8325/metaerlang
Symbolic evaluation for the pure part of Erlang.