highlight.io is the open source monitoring platform that gives you the visibility you need.

The Linux kernel is written in C, but it also leverages extensions provided by GCC. In 2022, it moved from GCC/Clang -std=gnu89 to -std=gnu11. This article explores my notes on how these GNU extension

Garbage collection with zero-cost at non-GC time. GitHub Gist: instantly share code, notes, and snippets.

high-performance cubical evaluation. Contribute to AndrasKovacs/cctt development by creating an account on GitHub.

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)