nick8325/haiku-ghc
Instructions+patches for building GHC for Haiku
Infer complexity of algorithms by testing
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Instructions+patches for building GHC for Haiku
A non-conservative garbage collector for cooperating C programs. Not entirely sure why it exists.
Symbolic evaluation for the pure part of Erlang.
A textbook on informal homotopy type theory - with HTML/epub/mobi output