Alternatives and similar repositories for reference-counting

Users that are interested in reference-counting are comparing it to the libraries listed below

• dunhamsteve / newt
  A toy dependent typed language.
  ☆35Updated this week
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆39Updated 3 months ago
• jkoppel / ecta
  ☆37Updated last year
• nh2 / haskell-jobs-statistics
  ☆37Updated 2 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆67Updated last week
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆117Updated 3 weeks ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆14Updated 7 months ago
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 2 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 9 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆75Updated 5 months ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated 2 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆48Updated 7 months ago
• b4er / recalc
  functional spreadsheet programming
  ☆23Updated 8 months ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 3 weeks ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆21Updated 6 months ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• basic-calculus / prologish
  ☆12Updated 5 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆42Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 8 months ago