Avi-D-coder / sundial-gc-design
type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
☆30Updated 4 years ago
Alternatives and similar repositories for sundial-gc-design:
Users that are interested in sundial-gc-design are comparing it to the libraries listed below
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Map lazy functional language constructs to LLVM IR☆50Updated 5 years ago
- ICFP tutorial☆39Updated 3 years ago
- A thread-safe hash table in Haskell☆15Updated 5 years ago
- A simple set of io-uring bindings in Haskell☆28Updated 4 years ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- ☆37Updated 3 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- ☆35Updated 6 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated 3 months ago
- ⚖️ Trial Data Type☆20Updated last month
- A Result-like type that can collect multiple Errs☆12Updated 4 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Updated 2 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 3 weeks ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- ☆49Updated 3 weeks ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- Cap'n Proto for Haskell☆96Updated last year
- Keep your laziness in check!☆33Updated 2 years ago
- Strongly typed routes for Rust☆36Updated 3 years ago
- A type checker for the Lean theorem prover☆41Updated 4 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 9 years ago
- Fork of official GHC repository.☆44Updated last year
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Updated 2 years ago