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:
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated last year
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 4 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆51Updated 9 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Interpret Haskell programs into any cartesian closed category.☆66Updated last month
- Named parameters (keyword arguments) for Haskell☆97Updated 7 months ago
- Morte IDE☆29Updated 6 months ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- An efficient graph library for Haskell☆38Updated 2 months ago
- The theory of groups☆80Updated 2 years ago
- Haskell library of algebraic topology☆25Updated 14 years ago
- ☆32Updated 7 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 6 months ago
- A subfield of the complex numbers for exact calculation.☆22Updated 5 years ago
- Clifford algebra for Haskell! :D☆15Updated 11 years ago
- A talk☆28Updated 4 years ago
- ☆41Updated 5 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 6 months ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- topos programming☆31Updated 7 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last month
- Real number computation software☆127Updated 3 years ago
- An equational theorem prover based on Knuth-Bendix completion☆56Updated 2 weeks ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Brent's PhD thesis.☆69Updated 9 years ago