The Agda standard library
the development environment for pros
The statistical language R compiled to WebAssembly via Emscripten
A summary of C/C++ technical interview basics
High level Lua 5.4/5.3/5.2/5.1 and Roblox Luau bindings to Rust
A strongly-typed language that compiles to JavaScript
The SILE Typesetter — Simon’s Improved Layout Engine
Simple DirectMedia Layer
A collection of daily coding challenges
Static type checker for Python
Framework for quickly creating connected applications in Kotlin
1000+ Hand-Crafted Go Examples, Exercises, and Quizzes
Style guides for Google-originated open source projects
A node package wrapper
A versatile in-browser code editor
Micronaut Application Framework
The package manager for the Swift Programming Language
Haskell to VHDL/Verilog/SystemVerilog compiler
A collection of notebooks/recipes showcasing ways of using Claude
Scala 2 compiler and standard library
A time travelling programming language
Symbolic expressions, rewriting and simplification
Fast and Simple Serverless Functions for Kubernetes
Thin, unified, C++-flavored wrappers for the CUDA APIs
Powerful SQL string builder library plus a zero-config ORM