TOTBWF

An object in an Elegant Reedy Category.

McMaster UniversityHamilton, ON

Pinned Repositories

cooltt
😎TT
Language:OCaml220 20 14316
groupoid_model_in_lean4
Language:TeX12 7 05
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda354 12 7471
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 13
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 3 0
TOTBWF/lean-rz
Realizability theory in lean
Language:Lean4 2 01
TOTBWF/shapedtt
Language:OCaml4
TOTBWF/advent-of-code-2022
Language:C3 3 0
TOTBWF/quasilib
Language:Common Lisp3
TOTBWF/agda-bialgebra-sorting
Bialgebraic Sorting Algorithms
Language:Agda2 2 0
TOTBWF/.emacs.d
My Emacs Configuration
Language:Emacs Lisp1 2 0
TOTBWF/CS-4ZP6A-Capstone-Akanda
1
TOTBWF/lyndon-mode
Display the lyndon factorization of an emacs buffer
Language:Emacs Lisp1
TOTBWF/mumacs
A (relatively small) emacs configuration.
Language:Emacs Lisp1
TOTBWF/TOTBWF.github.io
Language:HTML1 4 0
TOTBWF/actions-ocaml
GitHub Action for red* OCaml packages
1 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/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
Language:Emacs Lisp0 0
TOTBWF/narya
A proof assistant for higher-dimensional type theory
Language:OCaml
TOTBWF/ocaml-bwd
🔙 Backward lists for OCaml
TOTBWF/ocaml-lsp
OCaml Language Server Protocol implementation
Language:OCaml1 0
TOTBWF/rg.el
Emacs search tool based on ripgrep
TOTBWF/unison
A friendly programming language from the future