Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
Repository Index
47,133 repositories indexed
5,257–5,280 of 7,246 · Most stars
A killer modern C++ library for interacting with JSON.
- c-plus-plus
- json
- json-serialization
Combination of VS Code's SynthWave '84 and JupyterLab's Neon Night
- jupyterlab
- jupyterlab-extension
- jupyterlab-extensions
- jupyterlab-theme
Provide mongodb access service to play.db.Model via Morphia
Aegis Skin Terminal: local-first CS2 trading workspace with a fee-aware spread scanner, vault workspace and offline Steam Guard codes.
- counter-strike
- cs2
- desktop-app
- react
A curated list of useful xcode scripts 📝 .
- xcode-scripts
- xcode
- semantic
- auto-increment
Use Neovim as the default code editor for Unity — with .csproj generation, OmniSharp support and LSP-ready workflow.
- neovim-unity-plugin-external-editor-omnisharp
🧸 Xcode Playground management made easy
graphql-maven-plugin is a Maven Plugin for GraphQL, based on graphql-java. It accelerates the development for both the client and the server, by generating the Java code. It allows a quicker development when in contract-first approach, by avoiding to code the boilerplate code.
mathLab mirror of Python Dynamic Mode Decomposition
Tooling infrastructure for modern web component development.
- typescript
- storybook
- tailwindcss
- web-components
Interactive watch mode for Elixir's mix test.
- mix
- mix-test
- mix-task
- watch
Official code for "Reinforcement Fine-Tuning of Flow-Matching Policies for Vision-Language-Action Models" (ICRA 2026): Flow Policy Optimization for pi0
- aloha
- flow-matching
- icra2026
- jax
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
Modular and modern graph-theory algorithms framework in Java
- graph-algorithms
- graph-theory
- java
- algorithms
Swift emoji string parsing library
A low-poly 3D office that shows your AI coding agents' live status — idle agents sneak off to play Minecraft (no tokens used).
- agent-dashboard
- ai-agents
- claude-code
- low-poly
Pixel art skill for Claude Code: how to make good pixel, animated game sprite out, effects etc.
- 8bit
- agent-skills
- ai
- ai-art
The native agentic development platform for the Mac: a 5 MB terminal that runs fleets of Claude Code and Codex sessions side by side, each on its own branch. Built with SwiftUI, no Electron, no telemetry.
ro.py is a modern, asynchronous Python 3 wrapper for the Roblox API.
- roblox
- robloxapi
- python
- python3
Modeling and Proving in Computational Type Theory
Your AI wrote the code. You still have to explain it before it ships.
TranslatedMcDonald's points asset steward: filter out fake listings · rank by value for money · lottery advisor
- agent-skills
- mcd-mcp
- mcdonalds
- mcp
The defacto geocoder for Elixir