Reimplementation of Fallout 2 engine. Contribute to pingw33n/vault13 development by creating an account on GitHub. (more…)

Draft Coq Formalization Rust Code & Examples Benchmark Results ... (more…)

A couple of years back, everybody laughed at the idea of “everything in JavaScript”. Rust is doing the same. (more…)

Write and execute C code inside Rust. Contribute to Hywan/inline-c-rs development by creating an account on GitHub. (more…)

Bringing structurally typed functions to Rust via LabelledGeneric... (more…)