jgrosso

coq-alpha-pearl

Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).

advent-of-code-2022

agda-stdlib

The Agda standard library

brittany

haskell source code formatter

causality

An Agda formalization of material related to causal graphs (as defined by Judea Pearl et al.).

derivative-parsing

Derivative regex parser

deriving

Class instances for Coq inductive types with little boilerplate

dummy-repo-123

Empty Repository for various Git testing purposes

firefox-omnibar

go-tutorial

Just playing around with http://howistart.org/posts/go/1/

hackett

WIP implementation of a Haskell-like Lisp in Racket

hs-editor

Haskell text editor

lfs-test

libgit2

The Library

mandelbrot-hs

mandelbrot-rs

masquerade

minilisp

monty-hall

Exploration of the Monty Hall Problem.

nodegit

Native Node bindings to Git.

nodegit-lfs

LFS for NodeGit

nodegit-lfs-test-repo

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

phone-remote

plfa-solutions

My personal solutions and experiments for /Programming Language Foundations in Agda/.

polysemy

:gemini: higher-order, no-boilerplate monads

ps-tanks

Experimental clone of the time-honored Tanks game, in PureScript.

selenium-3.x.x-docs

A browser automation framework and ecosystem.

shapehs

A shape-based console drawing library in Haskell.

test