Alternatives and similar repositories for reference-counting

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

• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last week
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 4 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 2 months ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• brandonchinn178 / ghc-string-interpolation-prototypes
  ☆19Updated last month
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 3 months ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• 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 8 months ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆13Updated last month
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆34Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 11 months ago
• pa-ba / AsyncRattus
  ☆10Updated 2 months ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• konn / ghc-wasm-earthly
  GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
  ☆14Updated 2 months ago
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 3 weeks ago
• jkoppel / ecta
  ☆35Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 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
  ☆14Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated last week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 4 months 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
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago