ptigwe / hs2048Links
A port of 2048 using Haskell and Miso
☆15Updated 7 years ago
Alternatives and similar repositories for hs2048
Users that are interested in hs2048 are comparing it to the libraries listed below
Sorting:
- An implementation of Flatris using Haskell and Miso☆32Updated 5 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 2 months ago
- Exercism exercises in Idris.☆35Updated 2 months ago
- Get your IO right on the first try☆54Updated last week
- Concurrency library inspired by Erlang/OTP☆18Updated 3 months ago
- GRIN backend for Idris☆50Updated 5 years ago
- Morte IDE☆29Updated 5 months ago
- Haskell implementation of DAP interface data.☆25Updated 3 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A simple build system for Idris☆22Updated 4 years ago
- ♾️ Sized list☆46Updated last year
- Hackage search engine☆56Updated 7 years ago
- 💝 Haskell profiles to sponsor☆48Updated 3 years ago
- Haskell JSON library☆27Updated 9 months ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- Supplementary code for Type Classes projects☆25Updated 5 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 3 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Updated this week
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Tools for building 3D interactive programs in Haskell☆72Updated this week
- Platform-independent library for basic file system operations☆61Updated 3 weeks ago
- Parse and validate forms in JSON format☆38Updated 7 months ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆50Updated 3 weeks ago
- Strict markdown processor for writers☆115Updated last week
- The LC3 virtual machine☆24Updated 8 months ago