Pinned Repositories
.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
mpst-cost
Deep Embedding Multiparty Session Types
poly-lang
Experiments with deep embedding a point-free language with polynomial functors
dcastrop's Repositories
dcastrop/coq-hylomorphisms
(Terminating) hylomorphisms in Coq
dcastrop/mpst-cost
Deep Embedding Multiparty Session Types
dcastrop/poly-lang
Experiments with deep embedding a point-free language with polynomial functors
dcastrop/.config
dcastrop/abcd-website
ABCD Project website
dcastrop/behavioural-trees
dcastrop/constrained-control
dcastrop/coq_ind_coind
A small trick to get something similar to nested induction/coinduction in Coq, by nesting "finite coinductive types".
dcastrop/covid19-england
You can try the very basic UI at http://fangyi.io/covid19-england/
dcastrop/dcastrop.github.io
Personal page based on the template for academic personal websites, forked from mmistakes/minimal-mistakes
dcastrop/EmacsConfig
My custom .emacs.d configuration
dcastrop/goscr-benchmarks
dcastrop/IVector
dcastrop/lcore
lcore (Lambda Core) A minimal functional programming language based on the lambda calculus and various minimal extensions
dcastrop/liblfds7.1.1
Relase 7.1.1
dcastrop/nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
dcastrop/par-alg
dcastrop/plfa.github.io
An introduction to programming language theory in Agda
dcastrop/poly-sessions
dcastrop/quoted-prettyprinter
Haskell Quoted Prettyprinting utility
dcastrop/reveal.js
The HTML Presentation Framework
dcastrop/SAlg
A reimplementation of https://github.com/Richard-zhang/SPar/, integrated with https://github.com/dcastrop/par-alg
dcastrop/scribble-go
Scribble protocol description language support tools.
dcastrop/scribble-java
Core components for the Scribble Java tools
dcastrop/session-arr
dcastrop/SessionCL
Deadlock detector for (Altera) OpenCL code. Based on Behavioural Types.
dcastrop/template_slides
dcastrop/Vulkan
Examples and demos for the new Vulkan API
dcastrop/vulkan-compute-example