pa-ba/graph-comp pa-ba/graph-comp

  • Stars
    star
    1
  • Language Coq
  • Created over 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pa-ba/graph-comp
github

pa-ba

Reviews

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

Repository Details

Coq proofs for the paper "Proving Correctness of Compilers Using Structured Graphs"

More Repositories

1

compdata

Haskell library implementing "Data Types a la Carte"
Haskell
87
star
2

calc-comp

Coq proofs for the paper "Calculating Correct Compilers"
Coq
27
star
3

Rattus

A modal FRP language embedded in Haskell.
Haskell
10
star
4

McCarthy-Painter

Coq proof for the paper "Compiling a Fifty Year Journey"
Coq
10
star
5

reg-machine

Coq & Haskell code for Calculating Correct Compilers II
Coq
10
star
6

compdata-param

Haskell library implementing parametric compositional data types.
Haskell
10
star
7

equivalence

Haskell
9
star
8

alfred

Haskell library for writing workflows for Alfred 2.
Haskell
9
star
9

alacarte-idris

Data Types a la Carte in Idris
Idris
8
star
10

compdata-dags

Compositional Data Types on DAGs
Haskell
7
star
11

guarded-lean

Guarded recursive types in Lean
Lean
6
star
12

monadic-compiler-calculation

Agda
5
star
13

cps-defun

Coq proofs for the paper "Cutting out Continuations"
Coq
4
star
14

compdata-automata

Tree automata on Compositional Data Types
Haskell
4
star
15

idris-raytracer

simple ray tracer implemented in Idris
Idris
2
star
16

calculating-compilers-for-concurrency

Agda formalisation for "Calculating compilers for concurrency"
Agda
2
star
17

projection

Projection function for arbitrarily nested binary product types.
Haskell
1
star
18

calc-comp-rel

Coq proofs for the paper "Calculating Certified Compilers for Non-Deterministic Languages"
Coq
1
star