heades

ott-modified

This is a modified version of Ott 0.25

panfeed

A tool for managing RSS+Atom feeds for Pandoc based sites.

coLNL

A Cointuitionistic Adjoint Logic

dialectica-spaces

This is a formalization of dialectica spaces.

iffy-lang

monoidal-annex

A clearing house containing the detailed definitions of all that is monoidal.

AU-PL-Website

Website for the graduate PL course at AU

AUGL

The Augusta Agda Library (AUGL)

augusta-commuter

The Augusta Commuter is a blog about bike commuting in Augusta, GA

blog

This is the my blog: blog.metatheorem.org

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

CV

My CV.

Encyclopedia

An Open Encyclopedia of Proof Systems

example-blog

An example blog using a simple Pandoc based infrastructure

formlab

This redirects to https://the-au-forml-lab.github.io/

fp-lib

A standard library for pure functional programming in Typescript.

GMDTT-prototype

The prototype implementation of GMDTT

heades.github.io

My personal website

lambda

The lambda calculus in typescript

martin-lof

papers of Per Martin Löf

maude-hs

A Haskell interface to the Maude rewriting system

md-agda-mode

A polymode configuration for working with Agda in Markdown

note-template

Template for a note using Ott.

notes-on-fibrations

My Notes on the Fibrational Semantics of Simple, Polymorphic, and Dependent Type Theory

ott

The Ott tool for writing definitions of programming languages and calculi

paper-template

A paper template using Ott and LaTeX

portfolio

My design portfolio

quantitative

vcvpaiva.github.io

my personal website

vscode-snippets

All of my VS Code snippets.