jasongross Goto Github PK

18.705-coq

Some partial work on formalizing concepts from MIT's 18.705 - Commutative Algebra, in Coq

18.721

Notes for 18.721

18.904-quillen-model-structures

Class paper for 18.904 - Seminar in Topology

18.905-coq

Some partial work on formalizing concepts from MIT's 18.905 - Algebraic Topology I, in Coq

18.s996-coq

Some partial work on formalizing concepts from MIT's 18.S996 - Category theory for scientists, in Coq

1l-sparse-autoencoder

8.06-decoherence-paper

Paper on decoherence for 8.06 - Quantum Mechanics III

academic-papers-local

Copies of academic papers referenced on my personal website

adt-synthesis

Repo for ADT Synthesis work, to eventually be integrated into github

agda

Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git

agda-1

Agda is a dependently typed programming language / interactive theorem prover.

agda-categories

A new Categories library for Agda

agda-stdlib

Clone of agda standard library http://www.cse.chalmers.se/~nad/repos/lib/ using https://github.com/purcell/darcs-to-git

agda-stdlib-1

The Agda standard library

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

andromeda

A minimalist implementation of type theory, suitable for experimentation

apps

arena_3.0

barnowl

A multi-protocol curses IM client.

barnowl-deduplicate-messages

BarnOwl plugin to deduplicate BarnOwl messages

bbv

Bedrock Bit Vector Library

bedrock

Not necessarily up-to-date mirror of hg bedrock repository

bedrock2

Towards a low-level systems programming language with a verified compiler

bedrock2-old

benediktahrens-coq-fossil

Clone of http://web.math.unifi.it/~benedikt/r.cgi/coq

bignums

Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library

bisect_ppx

Code coverage for OCaml and ReScript

book

A textbook on informal homotopy type theory

bot

A (Coq Development Team) bot written in OCaml

bug-testing