Pinned Repositories
agda-categories
A new Categories library for Agda
agda-algebras
CAS706-F2021
Repository for Fall 2021 version of CAS 706
COMPSCI3MI3-F2023
Public course materials for COMPSCI 3MI3, Fall 2023 version
Drasil
Generate all the things (focusing on research software)
finally-tagless
Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
GenCheck
Test.GenCheck Haskell project
Notes
pi-dual
Collaborative work on reversible computing
TheoriesAndDataStructures
Showing how some simple mathematical theories naturally give rise to some common data-structures
JacquesCarette's Repositories
JacquesCarette/Drasil
Generate all the things (focusing on research software)
JacquesCarette/finally-tagless
Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
JacquesCarette/TheoriesAndDataStructures
Showing how some simple mathematical theories naturally give rise to some common data-structures
JacquesCarette/pi-dual
Collaborative work on reversible computing
JacquesCarette/COMPSCI3MI3-F2023
Public course materials for COMPSCI 3MI3, Fall 2023 version
JacquesCarette/Notes
JacquesCarette/CAS706-F2021
Repository for Fall 2021 version of CAS 706
JacquesCarette/MathScheme
Public repository for the MathScheme project
JacquesCarette/QuantumPi
Code repository for our work on Quantum Pi
JacquesCarette/hol-light-qe
The HOL Light theorem prover (moved from Google code)
JacquesCarette/SqrtPi
Agda code accompanying the SqrtPi paper
JacquesCarette/Retrodictive
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
JacquesCarette/agda-algebras
JacquesCarette/RetroPECode
Haskell code corresponding to the paper(s) in Retrodictive
JacquesCarette/Species
JacquesCarette/Categorical-Playground
For experiments in category theory
JacquesCarette/PureBaggery
Where we explore more interesting data types than just fixed points of polynomials
JacquesCarette/RetrodictiveComputing
Repository for all the code that goes along with the Retrodictive Quantum Computing
JacquesCarette/universal-algebra
Formalization of some universal algebra in Agda
JacquesCarette/agda
Agda is a dependently typed programming language / interactive theorem prover.
JacquesCarette/agda-stdlib
The Agda standard library
JacquesCarette/CAS706-F2024
Public repository for CAS 706, Fall 2024 version
JacquesCarette/categories
Categories parametrized by morphism equality, in Agda
JacquesCarette/GraphsAndTheories
Where we explore the intersection between (hyper)graphs and axiomatic theories systematically
JacquesCarette/PLGradSchools
JacquesCarette/Experiments
In which I do a variety of experiments
JacquesCarette/plfa.github.io
An introduction to programming language theory in Agda
JacquesCarette/WireBundles
An exploration, in Agda, of bundles of wires and multiplicity
JacquesCarette/git-filter-repo
Quickly rewrite git repository history (filter-branch replacement)
JacquesCarette/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.