Alternatives and similar repositories for dumb-cas

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

• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 5 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 3 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆63Updated last month
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆15Updated 11 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• rocq-community / dedekind-reals
  A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
  ☆43Updated last year
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Updated 6 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 5 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated last year
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated 5 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆38Updated 2 weeks ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆97Updated 5 months ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 10 years ago
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated last year
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆50Updated 9 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆24Updated 13 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 9 months ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 5 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆54Updated 2 months ago
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆52Updated 4 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago