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
  ☆11Updated last week
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 6 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 3 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆50Updated 10 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• 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
  ☆14Updated 10 months ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆28Updated last week
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• jkoppel / ecta
  ☆35Updated last year
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 11 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 3 months ago
• brandonchinn178 / ghc-string-interpolation-prototypes
  ☆19Updated 2 weeks ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated this week
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• obsidiansystems / rhyolite
  ☆29Updated 3 months ago
• Anut-py / ghc-web-test
  ☆15Updated last year
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• cdupont / Timeloop
  ☆41Updated last year
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated last month
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆15Updated 11 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆60Updated 4 months ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated last month
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆16Updated last year
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 2 months ago