Pinned Repositories
granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Agda-LLS
An Implementation of Various Linear Logics in Agda
cut-fill-agda
Agda sources used in my paper with Valeria de Paiva
law
The Lawvere Categorical Logic Library
LL-for-Linguists-
ott-modified
This is a modified version of Ott 0.25
panfeed
A tool for managing RSS+Atom feeds for Pandoc based sites.
System-F-Coq
System F in coq.
owl
A programming language designed for cross-platform mobile development
sappy
A scannerless GLR parser generator for Haskell
heades's Repositories
heades/ott-modified
This is a modified version of Ott 0.25
heades/panfeed
A tool for managing RSS+Atom feeds for Pandoc based sites.
heades/coLNL
A Cointuitionistic Adjoint Logic
heades/dialectica-spaces
This is a formalization of dialectica spaces.
heades/iffy-lang
heades/monoidal-annex
A clearing house containing the detailed definitions of all that is monoidal.
heades/AU-PL-Website
Website for the graduate PL course at AU
heades/AUGL
The Augusta Agda Library (AUGL)
heades/augusta-commuter
The Augusta Commuter is a blog about bike commuting in Augusta, GA
heades/blog
This is the my blog: blog.metatheorem.org
heades/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.
heades/CV
My CV.
heades/example-blog
An example blog using a simple Pandoc based infrastructure
heades/formlab
This redirects to https://the-au-forml-lab.github.io/
heades/fp-lib
A standard library for pure functional programming in Typescript.
heades/GMDTT-prototype
The prototype implementation of GMDTT
heades/heades.github.io
My personal website
heades/lambda
The lambda calculus in typescript
heades/martin-lof
papers of Per Martin Löf
heades/maude-hs
A Haskell interface to the Maude rewriting system
heades/md-agda-mode
A polymode configuration for working with Agda in Markdown
heades/note-template
Template for a note using Ott.
heades/notes-on-fibrations
My Notes on the Fibrational Semantics of Simple, Polymorphic, and Dependent Type Theory
heades/ott
The Ott tool for writing definitions of programming languages and calculi
heades/paper-template
A paper template using Ott and LaTeX
heades/portfolio
My design portfolio
heades/quantitative
heades/vcvpaiva.github.io
my personal website
heades/vscode-snippets
All of my VS Code snippets.
heades/wbee.fit-dev
A beautiful, simple, clean, and responsive Jekyll theme for academics