Alternatives and similar repositories for sundial-gc-design

Users that are interested in sundial-gc-design are comparing it to the libraries listed below

• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated last week
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 4 months ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆96Updated 2 years ago
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• jfaure / lfvm-stg
  Map lazy functional language constructs to LLVM IR
  ☆50Updated 6 years ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated last year
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆70Updated 8 years ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆98Updated 3 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 7 months ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 5 years ago
• ollef / rock
  Build system
  ☆124Updated last year
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆36Updated 4 years ago
• pwrobinson / concurrent-hashtable
  A thread-safe hash table in Haskell
  ☆15Updated 5 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 5 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆34Updated 3 years ago
• MarcelineVQ / idris2-elab-deriving
  implementation deriving for idris2
  ☆11Updated 4 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 4 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆62Updated 2 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆104Updated 3 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• yav / dump-core
  ☆45Updated 3 years ago
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆103Updated last week
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆59Updated 3 years ago
• ekmett / unpacked-containers
  Unpacked containers using backpack
  ☆52Updated 5 years ago
• idris-community / idris2-tls
  A portable idris2 implementation of TLS
  ☆32Updated 9 months ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 4 years ago