junjihashimoto / th-cas
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
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- The Elements of Statistical Learning in Haskell☆13Updated 7 years ago
- Haskell bindings to ArrayFire☆60Updated 2 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Interval Arithmetic☆27Updated 3 weeks ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- ☆10Updated 9 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- sliding fast fourier transform using haskell streaming☆13Updated 6 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆11Updated 11 months ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated this week
- your dynamic optimization buddy☆27Updated 5 years ago
- DIY Markov Chains.☆25Updated 3 months ago
- Haskell to D3.js binding by deep EDSL approach.☆23Updated 10 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated last month
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- Directed rounding and interval arithmetics with builtin floating types☆11Updated 2 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Updated 7 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago