jacquescarette Goto Github PK

agda

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

agda-algebras

agda-stdlib

The Agda standard library

cas706-f2021

Repository for Fall 2021 version of CAS 706

categorical-playground

For experiments in category theory

categories

Categories parametrized by morphism equality, in Agda

compsci3mi3-f2023

Public course materials for COMPSCI 3MI3, Fall 2023 version

drasil

Generate all the things (focusing on research software)

experiments

In which I do a variety of experiments

finally-tagless

Repo of the original work on finally tagless (and a lot of other metaocaml work besides)

gencheck

Test.GenCheck Haskell project

git-filter-repo

Quickly rewrite git repository history (filter-branch replacement)

graphsandtheories

Where we explore the intersection between (hyper)graphs and axiomatic theories systematically

hol-light-qe

The HOL Light theorem prover (moved from Google code)

jacquescarette.github.io

Github pages version of my web site

mathscheme

Public repository for the MathScheme project

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.

notes

pi-dual

Collaborative work on reversible computing

plfa.github.io

An introduction to programming language theory in Agda

plgradschools

purebaggery

Where we explore more interesting data types than just fixed points of polynomials

quantumpi

Code repository for our work on Quantum Pi

retrodictive

For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS

retrodictivecomputing

Repository for all the code that goes along with the Retrodictive Quantum Computing

retropecode

Haskell code corresponding to the paper(s) in Retrodictive

species

sqrtpi

Agda code accompanying the SqrtPi paper

theoriesanddatastructures

Showing how some simple mathematical theories naturally give rise to some common data-structures

universal-algebra

Formalization of some universal algebra in Agda