-
libclang-tutorial Public
Forked from cogumbreiro/libclang-tutorialCMake MIT License UpdatedJul 11, 2024 -
fair-asynchronous-subtyping Public
Implementation of the fair asynchronous subtyping
-
Gomela Public
Forked from nicolasdilley/GomelaTool developped for "Bounded verification of message passing concurrency in Go programs."
Promela UpdatedMay 31, 2023 -
session-subtyping-tool Public
Forked from LBacchiani/session-subtyping-toolHaskell MIT License UpdatedOct 5, 2022 -
julien-lange.github.io Public
Forked from academicpages/academicpages.github.ioGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedAug 22, 2022 -
-
mpst_rust_github Public
Forked from NicolasLagaillardie/mpst_rust_githubA library for deadlock-free multiparty session-typed communication in Rust.
Rust Apache License 2.0 UpdatedDec 23, 2021 -
-
ssaview Public
Forked from tmc/ssaviewssaview live-renders the SSA representation of a go program
-
asynchronous-subtyping Public
A sound algorithm for asynchronous session subtyping
Haskell MIT License UpdatedJan 22, 2021 -
qcover Public
Forked from michaelblondin/qcoverQCover: an efficient coverability verifier for discrete and continuous Petri nets
Python Apache License 2.0 UpdatedAug 16, 2019 -
-
github-commit-msg-lint Public
Forked from co894/github-commit-msg-lintA GitHub App that provides a check to lint commit messages
Java UpdatedSep 25, 2018 -
eliza Public
Forked from maresmar/elizaProlog Eliza - psychotherapist chatbot
Prolog MIT License UpdatedMay 2, 2017