leftaroundabout / dumb-cas
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
☆16Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for dumb-cas
- Vector & affine spaces, linear maps, and derivatives☆45Updated 3 months ago
- Collection of algorithms in Computational Geometry.☆18Updated 7 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆17Updated 4 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 8 months ago
- An extended typed Lambda Calculus☆20Updated 3 months ago
- BibTeX database management in Idris☆18Updated 10 years ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 4 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- ☆11Updated 10 months ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- Jhc: Haskell Compiler☆36Updated 9 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- A subfield of the complex numbers for exact calculation.☆20Updated 4 years ago
- Smooth curves via several interpolation modes☆10Updated 4 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 4 years ago
- Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types☆9Updated 7 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- ☆28Updated 6 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Morte IDE☆29Updated 10 months ago
- NanoVG Haskell bindings☆22Updated last year