JacquesCarette/SqrtPi

Stars
7
Rank 2,294,772 (Top 46 %)
Language Agda
License
BSD 3-Clause "New...
Created over 1 year ago
Updated 12 months ago

JacquesCarette/SqrtPi

JacquesCarette

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Agda code accompanying the SqrtPi paper

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

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