Alternatives and similar repositories for chez-scheme-hs:

Users that are interested in chez-scheme-hs are comparing it to the libraries listed below

• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated 6 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 weeks ago
• haskellari / some
  Existential type.
  ☆36Updated 3 weeks ago
• ChrisPenner / recursive-zipper
  Zippers for cofree types
  ☆12Updated 3 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• jespercockx / reflection-tutorial
  ☆17Updated 6 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆30Updated 5 years ago
• emilypi / order
  Order theory
  ☆23Updated last year
• michaelpj / abstract-machine-debuggers
  ☆12Updated 5 years ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 7 months ago
• Zekt / Type-Embellishment
  Experimenting on ornamentation in Agda via reflection.
  ☆12Updated last year
• gelisam / typechecker-combinators
  ☆16Updated 9 months ago
• sergv / atomic-counter
  Haskell counters that can be safely incremented from multiple threads
  ☆17Updated last month
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆17Updated last week
• clash-lang / ghc-typelits-extra
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆16Updated last month
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆26Updated last year
• UlfNorell / agda-bench
  Benchmarking tool for compile-time performance of Agda programs
  ☆18Updated 2 years ago
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆15Updated 6 years ago
• identicalsnowflake / cantor-pairing
  Convert data to and from a natural number representation
  ☆13Updated 3 years ago
• andrewthad / packed
  Unpinned byte arrays in GHC haskell
  ☆22Updated 6 years ago
• nomeata / ghc-core-smallstep
  A small-step semantics for Core
  ☆9Updated 4 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• edwinb / SchemeEval
  Experimental normalisation via scheme
  ☆12Updated 3 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago