Minerva, a group of side-channel vulnerabilities in implementations
of ECDSA/EdDSA in programmable smart cards and cryptographic software
IMO Grand Challenge,
the challenge: build an AI that can win a gold medal in the
International Mathematical Olympiad, formalized in Lean.
New Efficient, Constant-Time Implementations of Falcon, by Thomas Pornin.
Automatic Compiler Pass Fusion, by Vladimir Keleshev.
Xv6 for RISC-V, and the
accompanying MIT course.
Loko Scheme is an implementation of the algorithmic language R6RS
Scheme. It runs on the Linux kernel (amd64) and on bare amd64
hardware. More background.
cproc is a C11 compiler using QBE as a backend. It is released under
the ISC license.
kuberNix, Kubernetes development cluster bootstrapping with Nix packages.
Solving a Danish Defense Intelligence Puzzle (2017),
very good writeup by Safiire.
CPU Adventure – Unknown CPU Reversing, writeup by Robert Xiao
Tdoku: A fast Sudoku Solver