An updated version of the classic "Basic Computer Games" book
A collection of learning resources for curious software engineers
100+ Python challenging programming exercises
Lean 4 programming language and theorem prover
Programming Language Theory
The programming language for agents
A general-purpose, mutliparadigm language.
The Python programming language
Bootstrapping LISP in a Boot Sector
Track GitHub trending repositories in your favorite programming lang
Expert System Tool
Cheatsheet for the JavaScript knowledge
A TypeScript-like language for WebAssembly
Starlark in Go: the Starlark configuration language, implemented in Go
A data interchange format
Some code snippets for sharing
Library for the numerical simulation of closed as well as open quantum
List of Golang books
Lightweight Ruby
A framework for applied category theory in the Julia language
Algorithms and data structures for golang
Go library for Datalog-style logical reasoning and domain modeling
(Alpha stage software) fastn - Full-stack Web Development Made Easy
Words learning and English muscle memory training software
cuda-oxide is an experimental Rust-to-CUDA compiler