GitHub repository: project-aias/aias-server
Primary language: Rust
Description: A server of AIAS that generate certification.