Avery's repositories
roguefunctor
A Haskell roguelike toolkit
agda2hs
Compiling Agda code to readable Haskell
bearlibterminal-hs
Low level Haskell bindings to the BearLibTerminal graphics library.
uninformed
An Inform7 parser.
breadcrumbs
A Haskell tracing library.
solitude
Yet another custom prelude
diagnose
A simple library for reporting compiler/interpreter errors
co-gaia
co-gaia
urist-mcbrowser
urist-mcbrowser
relude
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
inform
The core software distribution for the Inform 7 programming language.
the-perfect-spaghetti
the-perfect-spaghetti
dear-imgui.hs
Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
advent-of-golf-2022
Golfed Python code for Advent of Code 2022
awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
libjwt-typed
A Haskell implementation of JSON Web Token (JWT)
cains-jawbone-template
An obsidian vault for the Cain's Jawbone puzzle for people to make their own notes from.
inform7-compiler-readers-guide
A reader's guide to the Inform7 compiler documentation.
tensorflow-haskell
Haskell bindings for TensorFlow
time
A time library