Stacker - The environment for local web development, ready for use.
Repository Index
78,351 visible repositories in the index
2,449–2,472 of 3,325 · Most stars
A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
The CNIL publishes a GDPR guide for developers
I, Librarian - open-source version of a PDF managing SaaS.
- pdf-viewer
- php
- saas
Gestouch: multitouch gesture recognition library for Flash (ActionScript) development.
Write Game Boy games in Rust
A 12-factor app logger built for performance and happy development
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
Remove aircraft Doppler signatures from audio/video so recordings can't be geolocated from flyovers. Includes a reference attack scorer to measure it.
- ads-b
- audio
- doppler
- geolocation
A fully non-destructive photo retouching program providing a complete layer-based workflow including RAW image development.
High-performance Vulkan driver with automated resource management and execution
- game-engine
- 3d-game-engine
- 3d
- game-development
This repository hosts the specification for Scene Layers which are containers for arbitrarily large amounts of geographic data. The delivery and persistence model for Scene Layers, referred to as Indexed 3d Scene Layer (I3S) and Scene Layer Package (SLPK) respectively, are specified.
- web-development
- 3d
- specification
Godot-MCP — Model Context Protocol (MCP) integration for the Godot Engine. AI tools for the Godot Editor in C#, with cloud connection to ai-game.dev. Apache-2.0.
Godot 3.6.1 / ROTA: Bend Gravity / Gravity Bending Block Puzzle Platformer Game
Artificial intelligence/machine learning data structures and Swift algorithms for future iOS development. bayes theorem, neural networks, and more AI.
- swift
- swift-brain
- neural-network
Can AI agents rebuild websites through browser exploration?
- benchmark
- harbor
- website-reconstruction
- agent-evaluation
Run Claude Code natively on Android via Termux or AVF (Android Virtualization Framework) -- no desktop, no SSH, no root required.
A curated list of resources to help you with ArcGIS development, APIs, SDKs, tools, and location services
- arcgis
- arcgis-apis
- developer-experience
- developers
Translated☕ Using AI to assist Java / Spring Boot development (AI for Java / AI for Spring) | Requirements, implementation, testing, review, and delivery | Graph → Loop → Workflow → Agent / Skill, fictional runnable examples, and worktree / Docker tools | Aimed at business development, not an implementation of the Spring AI framework
- ai-workflow
- coding-agent
- developer-tools
- java
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
50x your usage with cheap-ag. Opus/Astra plans, a dirt-cheap model writes every line, and tests decide what ships. Your $20 plan stops hitting limits. One MCP server for Claude Code & Codex.
Remote control for your pi coding agent. Pi-Remote mirrors live pi terminal sessions to any browser, so you can watch runs, answer prompts, and send commands from your phone — end-to-end encrypted over a self-hosted relay.
- developer-tools
- pi
- pi-coding-agent
- react
(╯°□°）╯︵ ┻━┻ A useless gem for table flipping on exceptions :unamused:
- fun
- developer-mode
- developer-tools
- development-environment
🔐 Library for developing secure, decentralized, anonymous and quantum-resistant networks in Go language
- network
- anonymity
- golang
- library