TOTBWF

refinery

⛏️ A refinement proof framework for haskell

teenytt

A Teeny Type Theory

agda-tic-tac-toe

Tic Tac Toe, formalized in Agda

dstext

Dark Souls death text on the command line

agda-evil-emacs

Emacs + Agda for Vim users

cooltt-categories

Categories ala Cooltt

forest

My personal wiki

lean-rz

Realizability theory in lean

advent-of-code-2022

agda-bialgebra-sorting

Bialgebraic Sorting Algorithms

quasilib

.emacs.d

My Emacs Configuration

stlc

This aims to be the most pretentious implementation of stlc in existence

TOTBWF.github.io

actions-ocaml

GitHub Action for red* OCaml packages

advent-of-code-2021

advent-of-code-2023

Advent of Code in Real-Mode x86 assembly

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-categories

A new Categories library

agda-stdlib

The Agda standard library

agda-unimath

Univalent mathematics in Agda

cofree-bot

A library for building bots compositionally.

COMPSCI3MI3-F2023

Public course materials for COMPSCI 3MI3, Fall 2023 version

cubical-1lab

drom

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

kriti-lang

A minimal JSON templating language

math

narya

A proof assistant for higher-dimensional type theory

ocaml-lsp

OCaml Language Server Protocol implementation

Semisimplicial

Semisimplicial types in Agda