Alternatives and similar repositories for reference-counting:

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

• iand675 / hs-brotli
  ☆20Updated 5 years ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆24Updated last year
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 3 years ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆26Updated last week
• Bodigrim / chimera
  Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization
  ☆59Updated last month
• BeFunctional / haskell-foreign-rust
  ☆11Updated last year
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 3 months ago
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆32Updated last year
• Anut-py / ghc-web-test
  ☆15Updated last year
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated this week
• Airsequel / AirGQL
  Automatically generate a GraphQL API for an SQLite database
  ☆16Updated 2 months ago
• BeFunctional / haskell-rust-ffi
  ☆15Updated last year
• forked-from-1kasper / anders
  Anders: Cubical Type Checker
  ☆22Updated last year
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 7 months ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated last week
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 weeks ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 6 months ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated last week
• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆31Updated 9 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆48Updated 7 months ago
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆24Updated 2 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated last month