GitHub repository: lurk-lab/cedille-core-rs
Primary language: Rust
Description: Implementation of Cedille Core in Rust