ptigwe / hs-flatrisLinks
An implementation of Flatris using Haskell and Miso
☆32Updated 6 years ago
Alternatives and similar repositories for hs-flatris
Users that are interested in hs-flatris are comparing it to the libraries listed below
Sorting:
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- ☆41Updated 5 years ago
- The most complete prelude formed only from the "base" package☆29Updated 2 years ago
- Comma (and other) separated values☆78Updated 2 years ago
- 💝 Haskell profiles to sponsor☆48Updated 4 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 6 months ago
- Parse and validate forms in JSON format☆38Updated 2 weeks ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 6 months ago
- ♾️ Sized list☆47Updated last year
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 7 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆33Updated last year
- 🧠 Type-safe memory units☆61Updated 5 years ago
- Quickcheck Properties for common typeclasses☆35Updated 7 months ago
- A monad for managed values☆51Updated 3 weeks ago
- Can we write a querying language with Dhall? Let's find out!☆63Updated 7 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆73Updated last year
- Haskell time library focusing on performance☆59Updated 2 weeks ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Get your IO right on the first try☆55Updated this week
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 3 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 10 months ago
- the dynabook but for haskell☆23Updated 6 years ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 6 years ago