abid-mujtaba / haskell-casLinks
A Computer Algebra System written in and for Haskell
☆26Updated 8 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:
- GNU bash backend for Idris☆52Updated 6 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Yer another array library☆41Updated 6 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated last month
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- 2048 in Idris☆122Updated 7 years ago
- A multi-method simulation library☆81Updated last year
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Clojure-style transients for Haskell☆32Updated 3 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- SDL bindings package for idris☆46Updated 5 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 5 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.☆50Updated 7 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago