JacquesCarette/finally-tagless

Stars
43
Rank 645,449 (Top 13 %)
Language
OCaml
License
BSD 3-Clause "New...
Created about 6 years ago
Updated about 6 years ago

JacquesCarette/finally-tagless

JacquesCarette

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

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

Drasil

Generate all the things (focusing on research software)

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