Discover @pa-ba Open Source projects

Patrick Bahr (@pa-ba)

pa-ba

Stars
207
Global Rank 119,303 (Top 5 %)
Followers 49
Registered almost 12 years ago
Most used languages

Haskell
42.1 %

Coq 31.6 %

Agda 10.5 %

Idris 10.5 %

Lean 5.3 %
Location 🇩🇰 Denmark
Country Total Rank 521
Country Ranking

Lean 2

Coq 3

Idris 3

Haskell
5

Agda 6

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

calculating-compilers-for-concurrency

Agda formalisation for "Calculating compilers for concurrency"

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"