abid-mujtaba / haskell-casLinks
A Computer Algebra System written in and for Haskell
☆26Updated 9 years ago
Alternatives and similar repositories for haskell-cas
Users that are interested in haskell-cas are comparing it to the libraries listed below
Sorting:
- A type theory based theorem proving library☆25Updated 14 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Simple lambda prover☆24Updated 10 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- An enhanced core prelude, meant for building up more complete preludes on top of.☆50Updated 7 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 6 years ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
- Qt bindings for Haskell☆34Updated 7 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated 4 months ago
- ☆21Updated 10 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 14 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Hackage search engine☆56Updated 7 years ago
- A fork of jhc. And also a Haskell compiler.☆135Updated 6 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- Mutable hash tables for Haskell, in the ST monad☆131Updated last month
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago