Alternatives and similar repositories for dumb-cas

Users that are interested in dumb-cas are comparing it to the libraries listed below

• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 5 months ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆32Updated 5 years ago
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Updated 6 years ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆14Updated 11 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 7 months ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆67Updated last week
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆25Updated 14 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated 5 years ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 5 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆97Updated 8 months ago
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆22Updated 5 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆21Updated 2 months ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 7 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• basic-calculus / hs-callbypushvalue
  Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
  ☆14Updated 5 years ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 7 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 11 months ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 13 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago