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:
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 2 months ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated this week
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- Haskell bindings to SymEngine☆27Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 11 months ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Updated 5 years ago
- ☆44Updated 2 years ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Updated 9 years ago
- Named parameters (keyword arguments) for Haskell☆96Updated 4 months ago
- An efficient graph library for Haskell☆38Updated 2 months ago
- Clifford algebra for Haskell! :D☆15Updated 11 years ago
- The theory of groups☆80Updated last year
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- Morte IDE☆29Updated 4 months ago
- A talk☆28Updated 4 years ago
- A subfield of the complex numbers for exact calculation.☆22Updated 5 years ago
- A language parsing quasiquoter for Haskell based heavily on ANTLR4.☆52Updated 4 years ago
- Library and macros to simplify writing Haskell FFI code☆40Updated 2 years ago
- ☆31Updated 7 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 4 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Updated 3 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆40Updated last year
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Haskell User's Gofer System☆25Updated 9 years ago
- constructive abstract algebra☆103Updated 5 years ago