alt-romes / reference-counting
Reference counting with linear types
☆31Updated 9 months ago
Alternatives and similar repositories for reference-counting:
Users that are interested in reference-counting are comparing it to the libraries listed below
- Embedding of python interpreter into haskell programs☆10Updated this week
- ☆13Updated 2 years ago
- ☆16Updated 2 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- A library for benign effects in Haskell☆20Updated 2 months ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆14Updated 10 months ago
- APIs for more recursive definitions☆19Updated 5 months ago
- Inspecting tool for GHC compilation pipeline☆32Updated last year
- ☆29Updated 2 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 2 months ago
- Class of data structures that can be unfolded.☆22Updated last year
- Automatically generate a GraphQL API for any SQLite database☆20Updated last month
- Anders: Cubical Type Checker☆24Updated last year
- ☆41Updated last year
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 11 months ago
- A toy dependent typed language.☆28Updated this week
- ☆15Updated last year
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- Lean 4 port of Megaparsec☆27Updated last year
- a self-hosting lambda calculus compiler☆35Updated 3 weeks ago
- Bit-level codec library☆17Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆28Updated 3 weeks ago
- Classical Logic in Haskell☆24Updated last month
- A usable type system for call by push-value☆33Updated 5 years ago
- cabal in Valle☆43Updated 3 years ago
- ☆26Updated 3 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- ☆20Updated 6 years ago
- ☆17Updated last month