Giters
Julien Lange (julien-lange)

julien-lange

Geek Repo

6

followers

2

following

21

stars

Company:Royal Holloway, University of London

Location:London, UK

Home Page:https://www.cs.rhul.ac.uk/~jlange

Github PK Tool:Github PK Tool

Julien Lange's repositories

kmc

k-MC tool

Language:HaskellLicense:MITStargazers:3Issues:0Issues:0

fair-asynchronous-subtyping

Implementation of the fair asynchronous subtyping

Language:HaskellLicense:MITStargazers:1Issues:2Issues:0

asynchronous-subtyping

A sound algorithm for asynchronous session subtyping

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

CO663-slides

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

co894-playground

Playground for CO894

License:Apache-2.0Stargazers:0Issues:0Issues:0

ee-duties

Stargazers:0Issues:0Issues:0

eliza

Prolog Eliza - psychotherapist chatbot

Language:PrologLicense:MITStargazers:0Issues:1Issues:0

github-commit-msg-lint

A GitHub App that provides a check to lint commit messages

Language:JavaStargazers:0Issues:0Issues:0

Gomela

Tool developped for "Bounded verification of message passing concurrency in Go programs."

Language:PromelaStargazers:0Issues:0Issues:0

julien-lange.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

mpst_rust_github

A library for deadlock-free multiparty session-typed communication in Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

qcover

QCover: an efficient coverability verifier for discrete and continuous Petri nets

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

session-subtyping-tool

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

ssaview

ssaview live-renders the SSA representation of a go program

Language:GoLicense:ISCStargazers:0Issues:1Issues:0