ptigwe / hs-flatris
An implementation of Flatris using Haskell and Miso
☆32Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for hs-flatris
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Safe conversions between Haskell textual types☆39Updated 2 years ago
- Tools for programming with ConstraintKinds in GHC☆71Updated last month
- Comma (and other) separated values☆76Updated last year
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- ☆39Updated 4 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Derive instances through isomorphisms☆20Updated 5 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated last year
- Zippers based on lenses and traversals☆38Updated last year
- A monad for managed values☆50Updated last year
- Deep evaluation of data structures☆41Updated 2 months ago
- 🎒 Backpack interface for containers☆32Updated 4 years ago
- A Haskell game written in Yampa☆26Updated 8 months ago
- A quasiquoter for neat and simple multiline text interpolation☆55Updated last year
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- Spawn threads that never die (unless told to do so)☆37Updated 6 years ago
- GHC prof manipulation script☆31Updated 9 months ago
- A simple build system for Idris☆22Updated 3 years ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Kleene algebra, regular expressions☆32Updated last year
- Haskell time library focusing on performance☆54Updated 2 months ago
- Safe web routing in haskell☆30Updated last year
- the dynabook but for haskell☆23Updated 5 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Cursor data and manipulation☆21Updated 11 months ago
- tools for writing better type errors☆73Updated last year
- Haskell program configuration using higher kinded data☆29Updated 6 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆29Updated 3 weeks ago