ghorn / not-gloss
easy 3d plotting in haskell
☆26Updated last year
Related projects: ⓘ
- A toy symbolic algebra / calculus library in Haskell☆12Updated 8 years ago
- A game about exponential growth written in Haskell☆31Updated 8 years ago
- ☆39Updated 6 years ago
- Make presentations for data types☆25Updated 2 years ago
- An OS written in Idris (eventually...)☆17Updated 9 years ago
- Comma (and other) separated values☆77Updated 10 months ago
- An experiment in functional interface design☆23Updated 7 years ago
- Continuously varying values, made easy :)☆40Updated 4 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Haskell bindings to the Bittrex cryptocurrency exchange☆23Updated 5 years ago
- Fixed length vector for haskell☆21Updated 5 months ago
- ☆25Updated this week
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- :fork command for ghci☆21Updated 5 years ago
- Tools for defining and parsing configurations of Haskell applications☆23Updated 3 months ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- Church-encoding of the Freer monad☆29Updated 7 years ago
- ☆21Updated last year
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Invertible parsing for S-expressions☆33Updated this week
- Demonstrating comonad transformers.☆36Updated 7 years ago
- high-resolution performance benchmarking☆25Updated 9 months ago
- 2D physics and rendering for apecs☆45Updated 5 years ago
- Rapid prototyping with GHCi☆55Updated 6 years ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago
- Haskell library for efficiently building up buffers☆25Updated last month
- The most complete prelude formed only from the "base" package☆28Updated 11 months ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year