Alternatives and similar repositories for dumb-cas

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

• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 7 months ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆32Updated 5 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆29Updated 4 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆68Updated last month
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 10 months ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Updated 8 months ago
• serokell / foundry
  Morte IDE
  ☆29Updated 9 months ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 9 months ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆21Updated 4 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 5 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆40Updated 4 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆57Updated this week
• djv / VisualProf
  http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot
  ☆59Updated 10 years ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆14Updated 11 years ago
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 8 years ago
• mstksg / decidable
  Combinators for manipulating dependently-typed predicates.
  ☆14Updated last year
• haskell-perf / graphs
  ☆41Updated 5 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
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated last year
• NorfairKing / nanosmos
  A simple text editor written in Haskell with Brick
  ☆13Updated 6 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 9 months ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆34Updated 6 years ago
• ekmett / multicategories
  Playing around with multicategories and operads
  ☆16Updated 10 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year