A static, type inferred and embeddable language written in Rust. - gluon-lang/gluon... (more…)

Writing an OS in Rust. Contribute to phil-opp/blog_os development by creating an account on GitHub. (more…)

I did this in 2020 and then again in 2021, but I’m in the mood to look around again. Let’s look through Are We GUI Yet? and see what’s up these days. (more…)

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. - GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. (more…)

written by Pyfisch on 2017-03-20 ... (more…)