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 6 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated last month
- Core modules for a blazing fast markup combinator library☆24Updated 7 months ago
- 🧠 Type-safe memory units☆61Updated 5 years ago
- A simple build system for Idris☆22Updated 4 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 9 years ago
- Exercism exercises in Idris.☆35Updated last week
- Compile Dhall expressions to Cabal files☆101Updated 3 years ago
- Get your IO right on the first try☆55Updated this week
- Morte IDE☆29Updated 9 months ago
- Concurrency library inspired by Erlang/OTP☆19Updated 8 months ago
- ♾️ Sized list☆47Updated last year
- Web Development without programming☆45Updated 2 years ago
- ☆16Updated 11 years ago
- 💝 Haskell profiles to sponsor☆48Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Updated 2 years ago
- An HTTP library for idris☆39Updated 7 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Haskell JSON library☆27Updated last year
- Tools for building 3D interactive programs in Haskell☆73Updated last week
- Golden test support for Tasty☆40Updated 3 weeks ago
- Hedgehog will eat your typeclass bugs☆56Updated 7 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Updated last year
- Hackage search engine☆56Updated 7 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated last year
- Lightweight package providing commonly useful parser combinators☆54Updated this week
- GRIN backend for Idris☆50Updated 5 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago