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