Alternatives and similar repositories for dumb-cas

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

• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated 5 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 3 months ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 11 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆26Updated last year
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆15Updated 11 years ago
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆52Updated 4 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 months ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated last month
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• byorgey / thesis
  Brent's PhD thesis.
  ☆64Updated 9 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 10 months ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆24Updated 13 years ago
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 7 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 5 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆21Updated 5 years ago
• xgrommx / agda-ecosystem
  ☆30Updated 7 years ago
• ekmett / half
  half-precision floating-point
  ☆16Updated last month
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago