nmaehlmann / mallRL
Grocery shopping roguelike developed for the 7drl game jam
☆24Updated 4 years ago
Related projects: ⓘ
- A guideline compliant Tetris clone made with Haskell.☆26Updated 3 years ago
- Code written for the Berlin FP meetup.☆25Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Game NetCode Solved☆23Updated 3 years ago
- Libraries for the Effectful Haskell effects system☆21Updated 2 years ago
- A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation syst…☆42Updated 3 weeks ago
- An interface for GHC type-checking plugins☆20Updated last year
- Overloaded plugin☆31Updated 3 months ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Haskell library for semigroup actions and torsors☆57Updated 7 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Haskus packages☆24Updated last week
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Strategy game in Haskell (PRs: )☆51Updated 4 years ago
- ☆18Updated this week
- Run cabal inside nix-shell☆14Updated 5 years ago
- Automatic type class law checking.☆24Updated 9 months ago
- rewrite rules for type-level equalities☆61Updated 4 months ago
- Tools for building 3D interactive programs in Haskell☆65Updated 5 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- Framework for artificial life and other evolutionary algorithms.☆30Updated 2 years ago
- ☆39Updated 4 years ago
- Haskell + Nix project setup Cookiecutter template☆11Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Batteries-included structured logging library☆29Updated 3 weeks ago
- ☆40Updated 10 months ago
- RPG languages learning tool☆39Updated 4 years ago
- A Typeclass for user-facing output☆53Updated this week
- Quickcheck Properties for common typeclasses☆34Updated 4 months ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated this week