JacquesCarette/Species JacquesCarette/Species

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Agda
  • Created almost 7 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JacquesCarette/Species
github

JacquesCarette

Reviews

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

Repository Details

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

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