Discover @JacquesCarette Open Source projects

Jacques Carette (@JacquesCarette)

JacquesCarette

Stars
373
Global Rank 74,544 (Top 3 %)
Followers 193
Following 212
Registered over 12 years ago
Most used languages

Agda 47.4 %

Haskell
26.3 %

TeX
21.1 %

OCaml
5.3 %
Location 🇨🇦 Canada
Country Total Rank 2,271
Country Ranking

Agda 3

OCaml
6

Haskell
12

TeX
38

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)

TheoriesAndDataStructures

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

pi-dual

Collaborative work on reversible computing

GenCheck

Test.GenCheck Haskell project

COMPSCI3MI3-F2023

Public course materials for COMPSCI 3MI3, Fall 2023 version

Notes

CAS706-F2021

Repository for Fall 2021 version of CAS 706

MathScheme

Public repository for the MathScheme project

QuantumPi

Code repository for our work on Quantum Pi

SqrtPi

Agda code accompanying the SqrtPi paper

Retrodictive

For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS

Species

RetroPECode

Haskell code corresponding to the paper(s) in Retrodictive

RetrodictiveComputing

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

PureBaggery

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

Categorical-Playground

For experiments in category theory

GraphsAndTheories

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

WireBundles

An exploration, in Agda, of bundles of wires and multiplicity

Experiments

In which I do a variety of experiments