ptigwe / hs-flatris
An implementation of Flatris using Haskell and Miso
☆32Updated 4 years ago
Related projects: ⓘ
- Fixed length vector for haskell☆21Updated 5 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Comma (and other) separated values☆77Updated 10 months ago
- Zippers based on lenses and traversals☆38Updated last year
- Compile Dhall expressions to Cabal files☆100Updated last year
- Deep evaluation of data structures☆40Updated last week
- An aggregation of all online content related to Haskell.☆90Updated 6 years ago
- Cursor data and manipulation☆21Updated 9 months ago
- Safe conversions between Haskell textual types☆39Updated 2 years ago
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- the dynabook but for haskell☆23Updated 4 years ago
- ☆39Updated 4 years ago
- Framework for writing fully native apps using Reflex, a Functional Reactive Programming library for Haskell.☆43Updated 5 years ago
- The most complete prelude formed only from the "base" package☆28Updated 11 months ago
- Lensy interface for parsing CSV's☆42Updated 3 years ago
- tools for writing better type errors☆73Updated last year
- Asymptotically optimal Brodal/Okasaki heaps☆29Updated last year
- 💝 Haskell profiles to sponsor☆47Updated 2 years ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Type-safe error handling☆64Updated 11 months ago
- A Haskell game written in Yampa☆25Updated 6 months ago
- Wrap up Haskell tools☆15Updated 3 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- A simple build system for Idris☆22Updated 3 years ago
- ☆16Updated 4 years ago
- Spawn threads that never die (unless told to do so)☆37Updated 6 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated last month
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆29Updated last year