Alternatives and similar repositories for reference-counting

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

• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆13Updated 5 months ago
• jkoppel / ecta
  ☆37Updated last year
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• nh2 / haskell-jobs-statistics
  ☆37Updated 2 years ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆47Updated 5 months ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆42Updated 2 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last week
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated last month
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated this week
• ButlerOS / haskell-butler
  ☆90Updated 11 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆66Updated 2 weeks ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 4 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆113Updated this week
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated 6 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
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated 2 years ago
• HnimNart / deeplearning
  ☆53Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 3 months ago
• Anut-py / ghc-web-test
  ☆15Updated 2 years ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 4 years ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 11 months ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• alt-romes / haskell-x-swift-project-steps
  A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post
  ☆15Updated last year
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆150Updated 3 months ago
• byteverse / posix-api
  haskell posix bindings
  ☆19Updated 2 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆71Updated 7 months ago