tla+, p-lang, property-based testing, simulations
CppCon 2025 Type Traits without Compiler Instrinsics: Promise of Static Reflection -- Andrei Zissu
isocpp.org·14h
Creating an assembler for a custom CPU
popovicu.com·12h
Loading...Loading more...
tla+, p-lang, property-based testing, simulations