alt-romes / reference-countingLinks
Reference counting with linear types
☆31Updated last month
Alternatives and similar repositories for reference-counting
Users that are interested in reference-counting are comparing it to the libraries listed below
Sorting:
- ☆37Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- LLM-powered typed-holes☆48Updated 8 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 3 months ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- ☆17Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- Embedding of python interpreter into haskell programs☆14Updated 8 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- A toy dependent typed language.☆36Updated this week
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆16Updated last year
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 3 years ago
- ☆16Updated 2 years ago
- ☆30Updated 2 months ago
- ☆41Updated 2 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆121Updated last week
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆21Updated 4 years ago
- functional spreadsheet programming☆23Updated 9 months ago
- ☆37Updated last year
- A library for benign effects in Haskell☆21Updated 7 months ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- ☆15Updated 2 years ago
- Class of data structures that can be unfolded.☆22Updated 2 years ago
- APIs for more recursive definitions☆19Updated last year
- Stroll: an experimental build system☆41Updated 2 years ago
- ☆90Updated last year
- Demo for dependent types + runtime code generation☆72Updated 10 months ago
- Linear lens☆21Updated last year
- Pure, statically typed, content-addressable, programming language for spreadsheet use☆29Updated 2 years ago