Stars
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
An Interactive Introduction to Fourier Transforms
A curated list of tools that can be used for creating interactive mathematical explorables.
A terraform provider for managing schemas in a Confluent schema registry
Define your dev environment as code. For microservice apps on Kubernetes.
🏗 Build container images for your Java applications.
A Go linter to check that errors from external packages are wrapped
simple statistics for node & browser javascript
A minimal HTTP server written in LOLCODE.
The doge interpreter for the shibe esoteric programming language.
VictoriaMetrics: fast, cost-effective monitoring solution and time series database
A curated collection of publicly available resources on how technology and tech-savvy organizations around the world practice Site Reliability Engineering (SRE)
A TypeScript-like language for WebAssembly.
A cross-platform JS game engine inspired by React
Runtime type system for IO decoding/encoding
Spawn a child process as a duplex stream
Set up your GitHub Actions workflow with a specific version of deno
A set of interactive TypeScript exercises
✅ The Node.js best practices list (July 2024)
ECMAScript proposal for the Record and Tuple value types. | Stage 2: it will change!
PostgreSQL, MySQL and MS SQL database schema migration tool using plain SQL and JS files
A PostgreSQL, MySQL, and SQL Server migration tool using plain sql scripts.