alt-romes / reference-countingLinks
Reference counting with linear types
☆31Updated 11 months ago
Alternatives and similar repositories for reference-counting
Users that are interested in reference-counting are comparing it to the libraries listed below
Sorting:
- A Haskell IDE for Visual Studio Code.☆26Updated last week
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 4 months ago
- Imagine a Dependently Typed Python☆11Updated 2 months ago
- Class of data structures that can be unfolded.☆22Updated last year
- ☆19Updated last month
- Classical Logic in Haskell☆24Updated 3 months ago
- Lean 4 port of Megaparsec☆29Updated last year
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 4 years ago
- APIs for more recursive definitions☆19Updated 8 months ago
- Embedding of python interpreter into haskell programs☆13Updated last month
- Linear lens☆20Updated last year
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- ☆16Updated 2 years ago
- Inspecting tool for GHC compilation pipeline☆34Updated last year
- Prototype for https://github.com/Innf107/vega☆19Updated 11 months ago
- ☆10Updated 2 months ago
- ☆20Updated 6 years ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Updated 2 months ago
- ☆13Updated 2 years ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- A logical authorization system☆51Updated 3 years ago
- First Class Record Fields in Haskell☆17Updated 3 weeks ago
- ☆35Updated last year
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆14Updated last year
- A toy dependent typed language.☆29Updated last week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Quantitative Type Theory implementation☆54Updated 4 years ago