Alternatives and similar repositories for reference-counting

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

• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated last week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated 11 months ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 3 months ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• nh2 / haskell-jobs-statistics
  ☆37Updated 2 years ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆13Updated 4 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated 2 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆63Updated last month
• BeFunctional / haskell-foreign-rust
  ☆14Updated 2 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated 2 weeks ago
• jkoppel / ecta
  ☆36Updated last year
• basic-calculus / prologish
  ☆12Updated 4 years ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 10 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 7 months ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆42Updated 2 years ago
• cdupont / Timeloop
  ☆41Updated last year
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• ButlerOS / haskell-butler
  ☆90Updated 10 months ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Updated 2 years ago
• byteverse / posix-api
  haskell posix bindings
  ☆19Updated last month
• Pedro-V / functional-asteroids
  Mini-game built on a functional style
  ☆12Updated 3 years ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆46Updated 4 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆71Updated 7 months ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆53Updated this week