glguy Goto Github PK

5puzzle

Puzzle solutions by encoding to SAT with Ersatz

adafruit_circuitplayground

library for Circuit Playground board

addparens

Teaching tool for Haskell that adds parentheses and explicit layout to an expression

adjunctions

Simple adjunctions

advent

Advent of Code complete solution archive and common library

advent2015

advent2016

advent2017

Advent of Code 2017 solutions

advent2018

Advent of Code 2018 Solutions

advent2019

Advent of Code 2019 solutions

advent2019rs

advent2020

Advent of Code 2020 Haskell Solutions

advent2021

Haskell solutions for https://adventofcode.com/2021/

agda-balanced-tree-example

My exercise in implementing the beginnings of a pure heap data structure and proving properties for the algorithms in Agda

agda-stdlib

The Agda standard library

alex-tools

A Haskell library making it easier to write Alex lexers.

algorithmic-heights

animated-dangerzone

aspell-pipe

A pipe interface to the Aspell spell checker

atheme

Atheme IRC Services

atheme-fn

freenode-specific extension modules for Atheme.

awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

bitvector

glguy's binary numbers with some extra stuff

bombs

botania

A magic mod for Minecraft based on nature and plant life. Also literally the seed of all evil on the modding community.

breadth-first-parser-combinators

bukkitircd

BukkitIRCd

bungeecord

BungeeCord, the 6th in a generation of server portal suites. Efficiently proxies and maintains connections and transport between multiple Minecraft servers.

cabal

Official upstream development repository for Cabal and cabal-install

cabal-mon

Monitor parallel Cabal builds