JacquesCarette/CAS706-F2021

Stars
10
Rank 1,807,489 (Top 36 %)
Language Agda
Created about 3 years ago
Updated about 3 years ago

JacquesCarette/CAS706-F2021

JacquesCarette

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

Repository for Fall 2021 version of CAS 706

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

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