A collection of learning resources for curious software engineers
100+ Python challenging programming exercises
An updated version of the classic "Basic Computer Games" book
functional programming library for golang
Lean 4 programming language and theorem prover
Programming Language Theory
The Python programming language
Make Minecraft Java Edition mods, Minecraft Bedrock Edition Add-Ons
OpenCore bootloader
A Python visual Flow Based Programming library
Categorized overview of Programming Principles & Patterns
A logic programming library for Clojure & ClojureScript
Bootstrapping LISP in a Boot Sector
cuda-oxide is an experimental Rust-to-CUDA compiler
List of programming books in Spanish for free
A collection of notebooks/recipes showcasing ways of using Claude
The programming language for agents
Generic programming for Scala
Random version of microemacs with my private modificatons
Go library for Datalog-style logical reasoning and domain modeling
A TypeScript-like language for WebAssembly
Cheatsheet for the JavaScript knowledge
Node.js library to receive live stream events
Freely available programming books