btmura / b1
B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.
☆51Updated 7 years ago
Alternatives and similar repositories for b1:
Users that are interested in b1 are comparing it to the libraries listed below
- A Haskell API into HTML5 Canvas☆71Updated 3 weeks ago
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- ☆88Updated 4 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Search Haskell source code from the command line☆75Updated 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☆108Updated 7 years ago
- Fast linear time sorting and discrimination for a large class of data types☆136Updated 5 months ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- Type-safe SQL interactions with PostgreSQL, based on Opaleye.☆54Updated 7 years ago
- Typed and composable spreadsheets☆185Updated 2 years ago
- ☆125Updated last year
- A magic typeclass that just does it☆124Updated 2 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 5 years ago
- Generic random generators☆81Updated 2 years ago
- Implement monads by specifying instructions and their desired operational semantics.☆83Updated 10 months ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆105Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- ☆77Updated 2 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆96Updated 3 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- ☆13Updated 10 years ago
- Specify Servant routes with records☆87Updated 6 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago