elliottt / huff
A fast-forward based planner for Haskell
☆8Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for huff
- your dynamic optimization buddy☆27Updated 5 years ago
- A DSL for generating GR(1) problems☆11Updated 3 years ago
- ☆10Updated 8 years ago
- ☆11Updated 3 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- Haskell Evaluation inside of LaTeX code.☆22Updated last year
- Symbolic logic expressions☆14Updated 4 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 7 years ago
- experimental http, attoparsec and pipes material for `streaming` and `streaming-bytestring`☆12Updated 4 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- A collection of computational methods in science.☆12Updated 7 years ago
- DIY Markov Chains.☆23Updated 2 weeks ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- ☆12Updated 4 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 6 years ago
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 years ago
- ☆35Updated 12 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- Produce Haskell functions out of partial definitions☆11Updated last week
- Physical dimensions and operations☆9Updated 6 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Easy entropy source for Haskell users.☆24Updated 3 months ago
- A talk on type-generic FFT in Haskell☆45Updated 3 years ago
- Code related to things I post about online☆21Updated 8 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Updated 9 years ago
- Provides Word128, Word192 and Word256 for and a way of producing other large words if required.☆9Updated 5 years ago
- Script to download all of Hackage☆14Updated 5 years ago
- Blazing fast signature detection☆10Updated 2 years ago