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
Jargon from the functional programming world in simple terms
ADP is a script language designed for Web database prgramming.
Programming Language Theory
The programming language for agents
The Python programming language
A general-purpose, mutliparadigm language.
Bootstrapping LISP in a Boot Sector
Starlark in Go: the Starlark configuration language, implemented in Go
Track GitHub trending repositories in your favorite programming lang
Expert System Tool
Cheatsheet for the JavaScript knowledge
A data interchange format
A TypeScript-like language for WebAssembly
List of Golang books
Go library for Datalog-style logical reasoning and domain modeling
A framework for applied category theory in the Julia language
cuda-oxide is an experimental Rust-to-CUDA compiler
Library for the numerical simulation of closed as well as open quantum
Words learning and English muscle memory training software
Algorithms and data structures for golang