jmtd / liquoriceLinks
Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"
☆15Updated 4 years ago
Alternatives and similar repositories for liquorice
Users that are interested in liquorice are comparing it to the libraries listed below
Sorting:
- A virtual memory scanner☆10Updated last year
 - Existential type.☆37Updated 10 months ago
 - Grocery shopping roguelike developed for the 7drl game jam☆24Updated 5 years ago
 - ☆39Updated 2 years ago
 - My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Updated 2 months ago
 - Minimal binary serialization library with focus on performance☆25Updated 3 months ago
 - A generic 2D cellular automaton simulator☆25Updated 4 years ago
 - A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Updated 3 years ago
 - A compiler for the Dana programming language☆11Updated 4 years ago
 - ☆30Updated 3 weeks ago
 - Reimplementation of a subset of Cabal☆32Updated this week
 - An interpreted lambda calculus with Algebraic and Recursive Types.☆19Updated 4 years ago
 - a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 3 weeks ago
 - ☆41Updated last year
 - simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 3 years ago
 - classical sequent calculus, embedded in Haskell☆21Updated 2 months ago
 - Haskell port of the Nanopass Compiler Framework☆23Updated 4 months ago
 - Overloaded plugin☆31Updated last year
 - Run cabal inside nix-shell☆14Updated 6 years ago
 - It's Data.Graph, but it doesn't suck!☆16Updated 4 years ago
 - Haskell counters that can be safely incremented from multiple threads☆19Updated 3 weeks ago
 - ☆18Updated 4 years ago
 - Monorepo for a multi-player game engine, and game examples☆42Updated 3 years ago
 - Ghosts of Departed Proofs☆61Updated 4 years ago
 - Automatic type class law checking.☆24Updated 9 months ago
 - ICFP tutorial☆39Updated 4 years ago
 - ☆22Updated 2 months ago
 - Classes for types where we know all the values☆39Updated 10 months ago
 - Zippers for cofree types☆13Updated 3 years ago
 - experiments with pext/pdep and codebruijn syntax☆17Updated 5 years ago