💬 0  🔁 171  ❤️ 200 · Results of the Grand C++ Error Explosion Competition · After much deliberation, the winners of the Grand C++ Error Explosion Competition are finally selected. There are two dif…

How we built an anonymous Zig/C++ crash reporter that doesn't require debug symbols to be shipped with the application.

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…