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

Explaining the Boehm-Berarducci isomorphism between strictly-positive algebraic data types and a class of polymorphic System F terms, and illustrating it on a simple example