junjihashimoto / th-casLinks
Compile time CAS(Computer Algebra System) for Haskell
☆18Updated 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:
- Haskell bindings to ArrayFire☆60Updated 10 months ago
- Dependently typed elimination functions using singletons☆28Updated 9 months ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- MPFR bindings for Haskell☆35Updated 2 years ago
- Exact real arithmetic in Haskell☆25Updated 3 years ago
- ☆32Updated 7 years ago
- topos programming☆31Updated 7 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 4 months ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated last week
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 8 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Experiments with linear types☆14Updated 7 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 5 months ago
- DIY Markov Chains.☆25Updated 11 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- Agda-style equational reasoning in Haskell☆54Updated 6 months ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- Haskell library of algebraic topology☆25Updated 14 years ago
- Bring fusion to everyone☆14Updated 5 years ago
- A talk☆28Updated 4 years ago
- Simple reflection of expressions☆34Updated 4 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- ☆10Updated 9 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated 5 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- your dynamic optimization buddy☆27Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- ☆20Updated 2 years ago