Highlights
- Pro
Lists (14)
Sort Name ascending (A-Z)
Starred repositories
The official repository of Mozilla's Firefox web browser.
freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.
Chrome DevTools for coding agents
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Lean 4 programming language and theorem prover
Nix grammar for tree-sitter [maintainer=@cstrahan]
Manage system config using nix on any distro
A collection of design patterns/idioms in Python
Simple, expressive & portable programming language for efficient scripting
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
A command line based editor inspired by Vim. Written in Nim.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Solidity, the Smart Contract Programming Language
A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)
Zig bindings for the sokol headers (https://github.com/floooh/sokol)
A tiling window manager for macOS based on binary space partitioning
Unleash your creativity with Pixelorama, a powerful and accessible open-source pixel art multitool. Whether you want to create sprites, tiles, animations, or just express yourself in the language o…