heades Goto Github PK

agda-lls

An Implementation of Various Linear Logics in Agda

apollo-11

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

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

cat-theory

Category Theory in Coq

colnl

A Cointuitionistic Adjoint Logic

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.

cut-fill-agda

Agda sources used in my paper with Valeria de Paiva

cv

My CV.

dialectica-spaces

This is a formalization of dialectica spaces.

dil-consistency

Formalization of consistency of Dualized Intuitionistic Logic with respect Rauszer's extended Kripke semantics.

encyclopedia

An Open Encyclopedia of Proof Systems

example-blog

An example blog using a simple Pandoc based infrastructure

examples

Useful examples

filldialogical

Game semantics for FILL in the style of Lorenzen Games

fltool

This is a tool to help with setting up multiple Fossil repos. for a university course.

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

graphy

A simple way to create images of labeled/unlabeled directed/undirected graphs based on Graphviz and Haskell.

heades.github.io

My personal website

idris

Everything Idris

iffy-lang

intro-monads

An introduction to that which shall not be named

lambda

The lambda calculus in typescript

lambdabubblepop

law

The Lawvere Categorical Logic Library

lj_completeness

These are my lecture notes on proving completeness for LJ