This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and...

Interactive C/C++ preprocessor macro debugger. Contribute to notfoundry/ppstep development by creating an account on GitHub.

McCarthy's Lisp in Python lists

Mirage Persistent Kernel: Compiling LLMs into a MegaKernel - mirage-project/mirage

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.