btmura / b1
B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.
☆51Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for b1
- The Haskell Refactoring Tool☆136Updated 4 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 8 years ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆109Updated 7 years ago
- Monad Transformers and Classes☆78Updated 5 years ago
- A Haskell API into HTML5 Canvas☆72Updated 3 weeks ago
- Classic games recreated in netwire☆94Updated 7 years ago
- Type-safe effectful state machines in Haskell☆95Updated 4 years ago
- Benchmarks to compare Haskell streaming library performance☆102Updated this week
- ☆89Updated 6 months ago
- Type-safe SQL interactions with PostgreSQL, based on Opaleye.☆54Updated 7 years ago
- The Disco Discus Compiler☆174Updated 5 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- Declare and access tuple fields with labels☆60Updated 5 years ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆68Updated 3 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆102Updated 3 weeks ago
- Homotopy Type Theory proofs in Idris☆21Updated 5 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆127Updated 2 years ago
- ☆124Updated 11 months ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Generic random generators☆81Updated last year
- A plugin for solving numeric constraints in GHC's type-checker☆50Updated 3 years ago
- ☆77Updated 2 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago