Repos
85
Stars
175
Forks
48
Top Language
Haskell
Loading contributions...
Top Repositories
pulp: process your LaTeX log file with pulp and make a better paper
Classes for types where we know all the values
An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
Set- and Map-like types that remember the order elements were inserted
A comprehensive collection of Char-to-bytes text encodings
A reverse engineering tool for NES games
Repositories
85A comprehensive collection of Char-to-bytes text encodings
A reverse engineering tool for NES games
Vim Isn't an Acceptable Jex Editor
Reducing the pain of transformer stacks with duplicated effects
A pure-Haskell model of Dr. Mario, NES edition
Dr. Mario prescribes the pills, but Nurse Sveta administers them
No description provided.
speedrun splits timer done right
tools for connecting a Dr. Mario AI to the NES implementation of Dr. Mario
Set- and Map-like types that remember the order elements were inserted
Haskell library for doing edlink-n8 things
Disassembly of Dr. Mario NES game.
Classes for types where we know all the values
Dr. Mario maneuver trainer
pulp: process your LaTeX log file with pulp and make a better paper
Library for performing shuffles on vectors
toMCaTS is a Monte Carlo Tree Search library
An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
No description provided.
cabal-driven hasktags invocation
A server/client protocol for playing Dr. Mario-like games on high-latency low-bandwidth connections
a vim sandbox for adults
Computer vision for Dr. Mario
how good is Dr. Mario's pill generation RNG?
compare wordle strategies
get your praccy on
Simple, layout-based, unambiguous configuration language implemented in Haskell
Syntax highlighting for cryptol
Play vs. Dr. Mario over the Internet
Cryptol: The Language of Cryptography