TOTBWF

An object in an Elegant Reedy Category.

McMaster UniversityHamilton, ON

Pinned Repositories

cooltt
😎TT
Language:OCaml217 19 14316
groupoid_model_in_lean4
Language:TeX11 6 05
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda338 11 7263
agda-tic-tac-toe
Tic Tac Toe, formalized in Agda
Language:Agda22 2 01
lean-rz
Realizability theory in lean
Language:Lean4 2 01
muprl
A small NuPRL style proof assistant
Language:Haskell32 3 11
omit-generics
Omit fields for instance deriving
Language:Haskell37 3 00
refinery
⛏️ A refinement proof framework for haskell
Language:Haskell69 7 112
SteamCurses
A Basic NCurses Client for Steam
Language:C52 8 131
tactic-haskell
Tactic Metaprogramming in Haskell
Language:Haskell57 7 90

TOTBWF's Repositories

TOTBWF/refinery
⛏️ A refinement proof framework for haskell
Language:Haskell69 7 112
TOTBWF/teenytt
A Teeny Type Theory
Language:Haskell26 7 14
TOTBWF/dstext
Dark Souls death text on the command line
Language:Rust6 2 0
TOTBWF/agda-evil-emacs
Emacs + Agda for Vim users
Language:Emacs Lisp4 2 02
TOTBWF/cooltt-categories
Categories ala Cooltt
4 4 0
TOTBWF/forest
My personal wiki
Language:Nix4
TOTBWF/lean-rz
Realizability theory in lean
Language:Lean4 2 01
TOTBWF/advent-of-code-2022
Language:C3 3 0
TOTBWF/agda-bialgebra-sorting
Bialgebraic Sorting Algorithms
Language:Agda2 2 0
TOTBWF/quasilib
Language:Common Lisp2
TOTBWF/.emacs.d
My Emacs Configuration
Language:Emacs Lisp1 2 0
TOTBWF/stlc
This aims to be the most pretentious implementation of stlc in existence
Language:Agda1 1 0
TOTBWF/TOTBWF.github.io
Language:HTML1 4 0
TOTBWF/actions-ocaml
GitHub Action for red* OCaml packages
1 0
TOTBWF/advent-of-code-2021
Language:Coq2 0
TOTBWF/advent-of-code-2023
Advent of Code in Real-Mode x86 assembly
Language:Assembly
TOTBWF/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2 0
TOTBWF/agda-categories
A new Categories library
Language:Agda2 0
TOTBWF/agda-stdlib
The Agda standard library
Language:Agda2 0
TOTBWF/agda-unimath
Univalent mathematics in Agda
Language:Makefile1 0
TOTBWF/cofree-bot
A library for building bots compositionally.
Language:Haskell1 0
TOTBWF/COMPSCI3MI3-F2023
Public course materials for COMPSCI 3MI3, Fall 2023 version
Language:Haskell1 0
TOTBWF/cubical-1lab
Language:Agda1 0
TOTBWF/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.
Language:OCaml1 0
TOTBWF/hydra
make Emacs bindings that stick around
TOTBWF/kriti-lang
A minimal JSON templating language
Language:Haskell1 0
TOTBWF/math
Language:TeX1 0
TOTBWF/narya
A proof assistant for higher-dimensional type theory
Language:OCaml
TOTBWF/ocaml-lsp
OCaml Language Server Protocol implementation
Language:OCaml1 0
TOTBWF/rg.el
Emacs search tool based on ripgrep