dcastrop Goto Github PK

.config

abcd-website

ABCD Project website

behavioural-trees

constrained-control

coq-hylomorphisms

(Terminating) hylomorphisms in Coq

coq_ind_coind

A small trick to get something similar to nested induction/coinduction in Coq, by nesting "finite coinductive types".

covid19-england

You can try the very basic UI at http://fangyi.io/covid19-england/

dcastrop.github.io

Personal page based on the template for academic personal websites, forked from mmistakes/minimal-mistakes

emacsconfig

My custom .emacs.d configuration

goscr-benchmarks

ivector

lcore

lcore (Lambda Core) A minimal functional programming language based on the lambda calculus and various minimal extensions

liblfds7.1.1

Relase 7.1.1

mpst-cost

Deep Embedding Multiparty Session Types

nuscr

A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

par-alg

plfa.github.io

An introduction to programming language theory in Agda

poly-lang

Experiments with deep embedding a point-free language with polynomial functors

poly-sessions

quoted-prettyprinter

Haskell Quoted Prettyprinting utility

reveal.js

The HTML Presentation Framework

salg

A reimplementation of https://github.com/Richard-zhang/SPar/, integrated with https://github.com/dcastrop/par-alg

scribble-go

Scribble protocol description language support tools.

scribble-java

Core components for the Scribble Java tools

session-arr

sessioncl

Deadlock detector for (Altera) OpenCL code. Based on Behavioural Types.

template_slides

vulkan

Examples and demos for the new Vulkan API

vulkan-compute-example