alt-romes / reference-countingLinks
Reference counting with linear types
☆31Updated last year
Alternatives and similar repositories for reference-counting
Users that are interested in reference-counting are comparing it to the libraries listed below
Sorting:
- ☆36Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 3 weeks ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆112Updated last month
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆82Updated 10 months ago
- A library for benign effects in Haskell☆20Updated 3 months ago
- Embedding of python interpreter into haskell programs☆13Updated 3 months ago
- ☆37Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated 2 weeks ago
- APIs for more recursive definitions☆19Updated 10 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- ☆41Updated last year
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆15Updated last year
- Class of data structures that can be unfolded.☆22Updated last year
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- ☆16Updated 2 years ago
- LLM-powered typed-holes☆46Updated 3 months ago
- ☆89Updated 10 months ago
- A streaming PostgreSQL logical replication client library for Haskell☆40Updated 2 years ago
- Anders: Cubical Type Checker☆23Updated last year
- ☆53Updated last week
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 6 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆55Updated 2 weeks ago
- Demo for dependent types + runtime code generation☆70Updated 6 months ago
- ☆12Updated 4 years ago
- ☆14Updated 2 years ago
- A toy dependent typed language.☆32Updated 2 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 2 months ago
- Mini-game built on a functional style☆12Updated 3 years ago
- Practical type inference for arbitrary-rank types☆11Updated 6 years ago