alt-romes / reference-counting
Reference counting with linear types
☆28Updated 2 months ago
Related projects: ⓘ
- ☆10Updated this week
- ☆33Updated 5 months ago
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆43Updated last year
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated 3 months ago
- Haskell bindings to binaryen.☆14Updated 3 years ago
- Optics via the profunctor representation theorem☆23Updated 2 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated 5 months ago
- Fωμ type checker and compiler☆51Updated last year
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆25Updated this week
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 3 months ago
- ☆37Updated last year
- ☆26Updated 3 months ago
- ☆13Updated this week
- Lean 4 port of Megaparsec☆22Updated 8 months ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆15Updated last month
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Classical Logic in Haskell☆23Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆20Updated 3 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 5 years ago
- ☆38Updated 2 years ago
- Toy implementation of Martin-Löf Type Theory☆27Updated 2 years ago
- lucid + htmx = lucid-htmx☆15Updated last month
- An efficient graph library for Haskell☆39Updated last month
- ☆29Updated this week
- Parser Combinator Library for Lean 4☆33Updated 2 weeks ago
- ☆17Updated this week
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆26Updated last year