GitHub repository: KajizukaTaichi/idol
Primary language: Rust
Description: Handy programming language with the Goal directed-evaluation for prototyping