Alternatives and similar repositories for dumb-cas

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

• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆69Updated this week
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 8 months ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 5 years ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆14Updated 11 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆32Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 10 months ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated last month
• serokell / foundry
  Morte IDE
  ☆29Updated 10 months ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆29Updated 6 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 10 months ago
• haskell-perf / graphs
  ☆41Updated 5 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 6 years ago
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Updated 7 years ago
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆52Updated 5 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆26Updated 14 years ago
• djv / VisualProf
  http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot
  ☆59Updated 10 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated last week
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• ekmett / multicategories
  Playing around with multicategories and operads
  ☆16Updated 10 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆21Updated 5 months ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated last year
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• conal / convolution-paper
  Generalized Convolution and Efficient Language Recognition
  ☆18Updated 6 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• emilypi / group-theory
  The theory of groups
  ☆81Updated 2 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year