GitHub repository: junctional/rusty_junctions
Primary language: Rust
Description: A Rust crate implementing Join Patterns from the Join Calculus, written as part of my bachelor thesis.