alt-romes / reference-counting
Reference counting with linear types
☆31Updated 8 months ago
Alternatives and similar repositories for reference-counting:
Users that are interested in reference-counting are comparing it to the libraries listed below
- ☆15Updated last year
- ☆34Updated 11 months ago
- A library for benign effects in Haskell☆20Updated last month
- APIs for more recursive definitions☆19Updated 4 months ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆20Updated 2 weeks ago
- Example uses of linear types☆43Updated 4 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated last month
- ☆11Updated last year
- ☆28Updated last month
- ☆20Updated 5 years ago
- Lean 4 port of Megaparsec☆25Updated last year
- An efficient graph library for Haskell☆39Updated 7 months ago
- The https://ghc.dev Website Generator☆20Updated 4 months ago
- Classical Logic in Haskell☆24Updated last month
- A toy dependent typed language.☆28Updated 2 weeks ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Inspecting tool for GHC compilation pipeline☆32Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆68Updated last week
- Interpret Haskell programs into any cartesian closed category.☆58Updated 2 months ago
- ☆16Updated 3 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated last week
- Automatically generate a GraphQL API for an SQLite database☆19Updated 3 months ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 10 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Fωμ type checker and compiler☆52Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- haskell posix bindings☆18Updated last year