junjihashimoto / th-casLinks
Compile time CAS(Computer Algebra System) for Haskell
☆17Updated 5 years ago
Alternatives and similar repositories for th-cas
Users that are interested in th-cas are comparing it to the libraries listed below
Sorting:
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- sliding fast fourier transform using haskell streaming☆13Updated 6 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated last year
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Linear map categories in Agda☆5Updated 2 years ago
- Directed rounding and interval arithmetics with builtin floating types☆11Updated 3 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- DIY Markov Chains.☆25Updated 6 months ago
- typesafe implementation of tensor algebra in Haskell☆13Updated 4 years ago
- Interval Arithmetic☆27Updated 4 months ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Visualization of Haskell data structures☆16Updated last year
- An experimental build system based on the Haxl library☆8Updated 6 years ago
- Queues with verified and unverified versions☆9Updated 8 years ago
- MPFR bindings for Haskell☆34Updated last year
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆12Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Stream editing with Haskell Attoparsec parsers☆14Updated 2 years ago
- Haskell bindings to the Eigen C++ library☆16Updated last year
- Bring fusion to everyone☆13Updated 5 years ago