Cooperative multitasking for Arduino, ESPx, STM32, nRF and more
Manipulate strings like a wizard
Lean 4 programming language and theorem prover
Master programming by recreating your favorite technologies
CLI tool purpose-built to generate the maximum possible lines of code
SwiftUI agent skill for Claude Code, Codex, and other AI tools
Random digital audio effects
Open-source, low-cost 10.5 GHz PLFM phased array RADAR system
A base class for creating strongly typed enum replacements in C#
A summary of C/C++ technical interview basics
An awesome list that curates the best KMM libraries, tools and more
A new take on polymorphism
MCP server enabling AI coding tools to access Figma design data
GitHub Agentic Workflows
High performance UI layout library in C
True object-oriented Java web framework without NULLs
Generate basic CSS Grid code to make dynamic layouts
Intel® RealSense SDK
Dynamic, functional language designed for building scalable apps
ArduPlane, ArduCopter, ArduRover, ArduSub source
Provides a way to profile code
The DB Browser for SQLite
Codex plugin that turns attached object images into code-only
QA-Pilot is an interactive chat project that leverages LLMs
Open source template for AI-powered code generation apps w/ sandboxes