Stars
5
stars
written in Rust
Clear filter
A modern Prolog implementation written mostly in Rust.
A language with dependent data and codata types
A place where Druid widgets come to mature before moving to the Druid repo.
a proof-of-concept programming language based on call-by-push-value