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
- Morte IDE☆29Updated 5 months ago
- A simple build system for Idris☆22Updated 4 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 2 weeks ago
- ☆16Updated 10 years ago
- Tools for building 3D interactive programs in Haskell☆73Updated last week
- A template for idris projects☆11Updated 4 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 4 months ago
- Concurrency library inspired by Erlang/OTP☆18Updated 4 months ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Haskell JSON library☆27Updated 10 months ago
- Hackage search engine☆56Updated 7 years ago
- ♾️ Sized list☆46Updated last year
- Lightweight package providing commonly useful parser combinators☆54Updated last month
- ☆15Updated 5 years ago
- Get your IO right on the first try☆54Updated last month
- A Haskell game written in Yampa☆28Updated last year
- A semantic highlighter for Idris code☆14Updated 7 years ago
- Exercism exercises in Idris.☆35Updated 2 weeks ago
- Text generation language☆34Updated this week
- The most complete prelude formed only from the "base" package☆29Updated last year
- An HTTP library for idris☆39Updated 6 years ago
- Web Development without programming☆45Updated 2 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- The LC3 virtual machine☆24Updated 9 months ago
- Wrap up Haskell tools☆15Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- User-contributed extensions to diagrams☆28Updated 3 months ago