pa-ba/calculating-compilers-for-concurrency

Stars
2
Language Agda
Created over 1 year ago
Updated over 1 year ago

pa-ba/calculating-compilers-for-concurrency

pa-ba

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

Agda formalisation for "Calculating compilers for concurrency"

compdata

Haskell library implementing "Data Types a la Carte"

calc-comp

Coq proofs for the paper "Calculating Correct Compilers"

Rattus

A modal FRP language embedded in Haskell.

McCarthy-Painter

Coq proof for the paper "Compiling a Fifty Year Journey"

reg-machine

Coq & Haskell code for Calculating Correct Compilers II

compdata-param

Haskell library implementing parametric compositional data types.

equivalence

alfred

Haskell library for writing workflows for Alfred 2.

alacarte-idris

Data Types a la Carte in Idris

compdata-dags

Compositional Data Types on DAGs

guarded-lean

Guarded recursive types in Lean

monadic-compiler-calculation

cps-defun

Coq proofs for the paper "Cutting out Continuations"

compdata-automata

Tree automata on Compositional Data Types

idris-raytracer

simple ray tracer implemented in Idris

graph-comp

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

projection

Projection function for arbitrarily nested binary product types.

calc-comp-rel

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