#
Starred repositories
A C Compiler that fits in the 512 byte boot sector of an x86 machine
The accompanying code for the submission "Formalising Half of a Graduate Textbook on Number Theory".
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
Materials for researchers and technologists in the area of Natural Language Processing, Deep Learning...
Swift port of "Elements of Programming"
A comprehensive repository of reasoning tasks for LLMs (and beyond)
An Additional 100 Ideas for Computing https://samsquire.github.io/ideas4/
A mastermind implementation using zero knowledge proofs!
A minimal GPU design in Verilog to learn how GPUs work from the ground up
A deep-dive on the entire history of deep-learning
The compiler and standard distribution for the C∀ programming language
A list of compilers that can generate C code
🧠 Laws, Theories, Principles and Patterns for developers and technologists.
Constructor of incremental parsers in Scala
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
An awesome curated knowledge-base about atomic systems
High-Performance LISP-like language for Scientific Computing and AI written in C
A Visual Studio extension and LSP server for Metamath