Pinned Repositories
asynchronous-subtyping
A sound algorithm for asynchronous session subtyping
CO663-slides
co894-playground
Playground for CO894
ee-duties
eliza
Prolog Eliza - psychotherapist chatbot
fair-asynchronous-subtyping
Implementation of the fair asynchronous subtyping
github-commit-msg-lint
A GitHub App that provides a check to lint commit messages
Gomela
Tool developped for "Bounded verification of message passing concurrency in Go programs."
julien-lange.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
kmc
k-MC tool
julien-lange's Repositories
julien-lange/kmc
k-MC tool
julien-lange/fair-asynchronous-subtyping
Implementation of the fair asynchronous subtyping
julien-lange/asynchronous-subtyping
A sound algorithm for asynchronous session subtyping
julien-lange/CO663-slides
julien-lange/co894-playground
Playground for CO894
julien-lange/ee-duties
julien-lange/eliza
Prolog Eliza - psychotherapist chatbot
julien-lange/github-commit-msg-lint
A GitHub App that provides a check to lint commit messages
julien-lange/Gomela
Tool developped for "Bounded verification of message passing concurrency in Go programs."
julien-lange/julien-lange.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
julien-lange/mpst_rust_github
A library for deadlock-free multiparty session-typed communication in Rust.
julien-lange/libclang-tutorial
julien-lange/qcover
QCover: an efficient coverability verifier for discrete and continuous Petri nets
julien-lange/session-subtyping-tool
julien-lange/ssaview
ssaview live-renders the SSA representation of a go program