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
ADP is a script language designed for Web database prgramming.
Programming Language Theory
The Python programming language
The programming language for agents
A general-purpose, mutliparadigm language.
Bootstrapping LISP in a Boot Sector
Starlark in Go: the Starlark configuration language, implemented in Go
Expert System Tool
A data interchange format
A TypeScript-like language for WebAssembly
Go library for Datalog-style logical reasoning and domain modeling
Library for the numerical simulation of closed as well as open quantum
Python programs, usually short, of considerable difficulty
A framework for applied category theory in the Julia language
(Alpha stage software) fastn - Full-stack Web Development Made Easy
cuda-oxide is an experimental Rust-to-CUDA compiler
A framework for building compiled Node.js add-ons in Rust via Node-API
Lightweight Ruby
Lightweight alternative to Discourse written in Nim
Clean Architecture Modular Project: MVVM + Jetpack Compose