leftaroundabout / dumb-casLinks
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
☆17Updated last year
Alternatives and similar repositories for dumb-cas
Users that are interested in dumb-cas are comparing it to the libraries listed below
Sorting:
- Vector & affine spaces, linear maps, and derivatives☆49Updated 3 months ago
- A geometric algebra implementation in Haskell☆31Updated 5 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- An equational theorem prover based on Knuth-Bendix completion☆54Updated 2 weeks ago
- ☆32Updated 7 years ago
- Haskell library of algebraic topology☆24Updated 14 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated last year
- Jhc: Haskell Compiler☆38Updated 10 years ago
- Interpret Haskell programs into any cartesian closed category.☆65Updated last week
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Updated 5 years ago
- Clifford algebra for Haskell! :D☆15Updated 11 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆50Updated 9 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 6 months ago
- Morte IDE☆29Updated 6 months ago
- A formalization of M-types in Agda☆34Updated 5 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Updated 6 years ago
- The theory of groups☆80Updated 2 years ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- topos programming☆31Updated 7 years ago
- An efficient graph library for Haskell☆38Updated last month
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- ☆26Updated 8 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Named parameters (keyword arguments) for Haskell☆97Updated 6 months ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Easy C++ code analysis with pure Haskell☆35Updated last year