Lists (1)
Sort Name ascending (A-Z)
Stars
Jane Street Capital's standard library overlay
Development repository for the Triton language and compiler
A free collection of curated, high-quality resource 8000 s to take you from Bronze to Platinum and beyond.
General Resources for Competitive Programming
The core OCaml system: compilers, runtime system, base libraries
Tool for automatic PS5 executables porting to Linux and Windows
Persists tmux environment across system restarts.
An axiom-free formalization of category theory in Coq for personal study and practical work
Interference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers
A translator from Intel SSE intrinsics to Arm/Aarch64 NEON implementation
A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level la…
Skills for Real Engineers. Straight from my .agents directory.
Optimized implementations of various library functions for ARM architecture processors
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
`std::execution`, the standard C++ framework for asynchronous and parallel programming.
step by step guide to my kde plasma rice / customization.
Programming in assembly language tutorial