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 2 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆62Updated 2 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
  ☆15Updated last year
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• jkoppel / ecta
  ☆35Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated 3 weeks ago
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆35Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆36Updated 3 months ago
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 8 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 4 months ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• obsidiansystems / rhyolite
  ☆30Updated last week
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 8 months ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• serokell / haskell-crypto
  Haskell cryptography done right
  ☆18Updated 2 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆39Updated last year
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 3 months ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 10 months ago
• nh2 / haskell-jobs-statistics
  ☆37Updated 2 years ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated last month
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆11Updated 6 years ago
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated 3 months ago