We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like O…

A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects. - GitHub - rochus-keller/CspChan: A pure C (-std=c89) implementation of Go channels, including block...

My favorite C programming practices. Contribute to mcinglis/c-style development by creating an account on GitHub.

Staged compilation with dependent types. Contribute to AndrasKovacs/staged development by creating an account on GitHub.

A memory profiler for Linux. Contribute to koute/bytehound development by creating an account on GitHub.

Displays the current time in a seven-segment style, embedded within its own JavaScript source code. (321 bytes)

Some forms of distributed snapshots were around for a while already when Chandy-Lamport's distributed snapshots paper was first published in 1985....

I'm sick of complex blogging solutions, so markdown files in a git repo it is - francisrstokes/githublog