Stars
This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…
A workshop on Linux containers: Rebuild Docker from Scratch
Curated list of project-based tutorials
Master programming by recreating your favorite technologies from scratch.
🎮 A step-by-step guide to implementing SSAO, depth of field, lighting, normal mapping, and more for your 3D game.
A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search
The user-friendly command line shell.
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
An open-source & self-hostable Heroku / Netlify / Vercel alternative.
A python parametric CAD scripting framework based on OCCT
TypeScript for Tiny IoT Devices (ESP32, RP2040, ...)
Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.
keybrd library is an open source library for creating custom-keyboard firmware.
Taking Keyboards to the Final Frontier
Tools for developers to create truly open IoT products using standard JavaScript on low cost microcontrollers.
Build system and configuration files for generating and building ZMK firmware with Nix
This project converts structured Lean code into an interactive browser game.
Mathport is a tool for porting Lean3 projects to Lean4
Complex Analysis: A Visual and Interactive Introduction
Lean 4 programming language and theorem prover
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.