alt-romes / reference-counting
Reference counting with linear types
☆30Updated 6 months ago
Alternatives and similar repositories for reference-counting:
Users that are interested in reference-counting are comparing it to the libraries listed below
- Inspecting tool for GHC compilation pipeline☆31Updated last year
- ☆33Updated 9 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated last year
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆26Updated last week
- ☆40Updated 3 years ago
- Linear lens☆20Updated 11 months ago
- A Haskell IDE for Visual Studio Code.☆26Updated 3 months ago
- Lean 4 port of Megaparsec☆23Updated last year
- Interpret Haskell programs into any cartesian closed category.☆57Updated this week
- Optics via the profunctor representation theorem☆23Updated last month
- Fωμ type checker and compiler☆52Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 7 months ago
- ☆15Updated last year
- APIs for more recursive definitions☆19Updated 2 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- ☆10Updated last year
- A library for benign effects in Haskell☆20Updated 2 years ago
- A WebAssembly implementation in Lean4☆33Updated last year
- haskell posix bindings☆18Updated 10 months ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- cabal in Valle☆43Updated 3 years ago
- Example uses of linear types☆43Updated 4 years ago
- A toy dependent typed language.☆24Updated this week
- An efficient graph library for Haskell☆39Updated 5 months ago
- ☆27Updated last week