Crepe: Datalog with a Rust-Like Syntax

Datalog compiler in Rust as a procedural macro. Contribute to ekzhang/crepe development by creating an account on GitHub. Read more


Notes on a Smaller Rust

Many people who use Rust for a bit - especially those who like the language but do not fall in love with it - feel a sense that there must be a smaller, simpler variation on the same theme which would maybe be a little less powerful, but would also be muc... (more…)

Read more »