abid-mujtaba / haskell-cas
A Computer Algebra System written in and for Haskell
☆26Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-cas
- Translate Pascal into Haskell☆51Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- An enhanced core prelude, meant for building up more complete preludes on top of.☆49Updated 6 years ago
- Create command line interfaces with ease☆41Updated last year
- Model-view-controller☆62Updated 2 years ago
- Simple lambda prover☆24Updated 9 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- ALGT 2.0☆30Updated 4 years ago
- ☆41Updated 7 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- ☆17Updated 2 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Homotopy Type Theory proofs in Idris☆21Updated 5 years ago
- ☆28Updated 9 years ago