Jacques Carette's repositories
finally-tagless
Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
TheoriesAndDataStructures
Showing how some simple mathematical theories naturally give rise to some common data-structures
COMPSCI3MI3-F2023
Public course materials for COMPSCI 3MI3, Fall 2023 version
CAS706-F2021
Repository for Fall 2021 version of CAS 706
MathScheme
Public repository for the MathScheme project
hol-light-qe
The HOL Light theorem prover (moved from Google code)
Retrodictive
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
RetroPECode
Haskell code corresponding to the paper(s) in Retrodictive
CAS706-F2024
Public repository for CAS 706, Fall 2024 version
Categorical-Playground
For experiments in category theory
PureBaggery
Where we explore more interesting data types than just fixed points of polynomials
RetrodictiveComputing
Repository for all the code that goes along with the Retrodictive Quantum Computing
universal-algebra
Formalization of some universal algebra in Agda
agda-stdlib
The Agda standard library
categories
Categories parametrized by morphism equality, in Agda
GraphsAndTheories
Where we explore the intersection between (hyper)graphs and axiomatic theories systematically
Experiments
In which I do a variety of experiments
plfa.github.io
An introduction to programming language theory in Agda
WireBundles
An exploration, in Agda, of bundles of wires and multiplicity
git-filter-repo
Quickly rewrite git repository history (filter-branch replacement)
next-700-module-systems-proposal
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.