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.
  ☆68Updated 3 weeks ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 6 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Updated 7 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆32Updated 5 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆51Updated 9 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• thautwarm / RSolve
  Ask for solutions.
  ☆19Updated 6 years ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆14Updated 11 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆25Updated 14 years ago
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆22Updated 5 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• Chaddai / CurveProject
  Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)
  ☆21Updated 9 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 9 months ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 7 years ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated last week
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• rocq-community / dedekind-reals
  A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
  ☆45Updated last year
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆57Updated 3 weeks ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• serokell / foundry
  Morte IDE
  ☆29Updated 8 months ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• chpatrick / clang-pure
  Easy C++ code analysis with pure Haskell
  ☆35Updated last year
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆56Updated 5 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• input-output-hk / stackage.nix
  Automatically generated Nix expressions of Stackage snapshots
  ☆12Updated this week
• csgordon / cayenne
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆38Updated 12 years ago