JacquesCarette/TheoriesAndDataStructures JacquesCarette/TheoriesAndDataStructures

  • Stars
    star
    37
  • Rank 720,807 (Top 15 %)
  • Language Agda
  • Created over 7 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JacquesCarette/TheoriesAndDataStructures
github

JacquesCarette

Reviews

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

Repository Details

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

More Repositories

1

Drasil

Generate all the things (focusing on research software)
Haskell
141
star
2

finally-tagless

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

pi-dual

Collaborative work on reversible computing
TeX
24
star
4

GenCheck

Test.GenCheck Haskell project
TeX
18
star
5

COMPSCI3MI3-F2023

Public course materials for COMPSCI 3MI3, Fall 2023 version
Haskell
15
star
6

Notes

13
star
7

CAS706-F2021

Repository for Fall 2021 version of CAS 706
Agda
10
star
8

MathScheme

Public repository for the MathScheme project
TeX
9
star
9

QuantumPi

Code repository for our work on Quantum Pi
Agda
8
star
10

SqrtPi

Agda code accompanying the SqrtPi paper
Agda
7
star
11

Retrodictive

For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
TeX
6
star
12

Species

Agda
5
star
13

RetroPECode

Haskell code corresponding to the paper(s) in Retrodictive
Haskell
5
star
14

RetrodictiveComputing

Repository for all the code that goes along with the Retrodictive Quantum Computing
Haskell
3
star
15

PureBaggery

Where we explore more interesting data types than just fixed points of polynomials
Agda
3
star
16

Categorical-Playground

For experiments in category theory
Agda
3
star
17

GraphsAndTheories

Where we explore the intersection between (hyper)graphs and axiomatic theories systematically
Haskell
2
star
18

WireBundles

An exploration, in Agda, of bundles of wires and multiplicity
Agda
1
star
19

Experiments

In which I do a variety of experiments
Agda
1
star