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
  ☆17Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 5 months ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 11 months ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆47Updated 6 months ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 6 months ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆58Updated last month
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 6 months ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• Airini / FEECa
  FEECa: Finite Element Exterior Calculus in Haskell
  ☆34Updated 5 years ago
• jakubfijalkowski / haskell-and-cpp
  Example on how to integrate Haskell and C++ library.
  ☆13Updated 9 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated 6 months ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 5 years ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆15Updated 10 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 3 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 2 months ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 5 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• haskell-perf / graphs
  ☆40Updated 5 years ago