pa-ba Goto Github PK

abc-puzzle

Generate instances of the ABC Logic Puzzle.

ag-graph-coq

alacarte-idris

Data Types a la Carte in Idris

alfred

Haskell library for writing workflows for Alfred 2.

asyncrattus

boostnote

A markdown editor for developers on Mac, Windows and Linux.

calc-comp

Coq proofs for the paper "Calculating Correct Compilers"

calc-comp-rel

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

calc-graph-comp

Calculating Graph-Based Compilers

calculating-compilers-for-concurrency

Agda formalisation for "Calculating compilers for concurrency"

compdata

Haskell library implementing "Data Types a la Carte"

compdata-automata

Tree automata on Compositional Data Types

compdata-dags

Compositional Data Types on DAGs

compdata-param

Haskell library implementing parametric compositional data types.

contracts

A simple algebraic financial contract language

cps-defun

Coq proofs for the paper "Cutting out Continuations"

deepag

Deep embedding of an attribute grammar language in Haskell

emacs-waher-theme

Waher theme for emacs, based on dd-waher by dduckster for Sublime Text 2

equivalence

graph-comp

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

guarded-lean

Guarded recursive types in Lean

guarded-recursion

Guarded recursion in Agda

idris-raytracer

simple ray tracer implemented in Idris

lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX

mccarthy-painter

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

modular-hoopl

monadic-compiler-calculation

names-for-free

numikit

Numi Plugin Kit

org-toodledo

Emacs enhancement for syncing org-mode tasks with Toodledlo