h0tk3y/linear-equations-systems
Linear equations systems solvers.
Hoard allocator C++ implementation
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Linear equations systems solvers.
Implementing some arithmetic through recursive functions primitives.
Just another implementation of the AVL tree, this one seems to be simple and pretty
Checking and generating proofs for formulas in propositional logic