ajkavanagh / pacman
curses Pac-man game in Haskell -- mostly finished, very playable
☆33Updated 6 years ago
Alternatives and similar repositories for pacman:
Users that are interested in pacman are comparing it to the libraries listed below
- ♾️ Sized list☆46Updated 8 months ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆106Updated 2 years ago
- Idris Todo web application example☆42Updated last year
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Documentation for Concur☆65Updated 7 months ago
- 📚 A softer alternative to Haddock☆105Updated 4 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 2 years ago
- Lambdabot for Slack☆20Updated 8 years ago
- Parsers for various configuration files written in Idris.☆19Updated 7 years ago
- Safe conversions between Haskell textual types☆39Updated 2 years ago
- Compile PureScript into Haskell.☆69Updated 7 years ago
- Comma (and other) separated values☆76Updated last year
- Benchmarks to compare Haskell streaming library performance☆103Updated 2 months ago
- The missing tutorial module for the lens library☆82Updated 8 months ago
- Fast binary serialization in Haskell☆109Updated 3 weeks ago
- Examples of Eta in action.☆36Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Notes on space leaks☆100Updated 4 years ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 6 months ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- coveralls.io support for haskell code coverage with hpc☆60Updated last year
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆68Updated 3 years ago
- All of `base` without the `Prelude` module☆44Updated last year
- A test framework for Idris☆55Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- OTP-like supervision trees in Haskell☆62Updated 5 years ago