Alternatives and similar repositories for cyclotomic

Users that are interested in cyclotomic are comparing it to the libraries listed below

• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• jyp / topics
  Various interesting topics I'm looking at
  ☆13Updated 15 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated 3 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated last month
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆35Updated last year
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆32Updated 6 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 9 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 7 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 8 months ago
• hackage-trustees / hackage-cli
  CLI tool for Hackage
  ☆26Updated last month
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 3 years ago
• jwiegley / parsec-free
  ☆23Updated last year
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆25Updated 11 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated last week
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 2 months ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• llelf / prose
  Pure-Haskell proper unicode string handling
  ☆15Updated 9 years ago