JacquesCarette/GraphsAndTheories JacquesCarette/GraphsAndTheories

  • Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JacquesCarette/GraphsAndTheories
github

JacquesCarette

Reviews

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

Repository Details

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

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

TheoriesAndDataStructures

Showing how some simple mathematical theories naturally give rise to some common data-structures
Agda
37
star
4

pi-dual

Collaborative work on reversible computing
TeX
24
star
5

GenCheck

Test.GenCheck Haskell project
TeX
18
star
6

COMPSCI3MI3-F2023

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

Notes

13
star
8

CAS706-F2021

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

MathScheme

Public repository for the MathScheme project
TeX
9
star
10

QuantumPi

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

SqrtPi

Agda code accompanying the SqrtPi paper
Agda
7
star
12

Retrodictive

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

Species

Agda
5
star
14

RetroPECode

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

RetrodictiveComputing

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

PureBaggery

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

Categorical-Playground

For experiments in category theory
Agda
3
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