An interactive and powerful Git interface for Neovim, inspired by Magit
Repository Index
47,133 repositories indexed
1,153–1,176 of 5,701 · Most stars
From the basics to slightly more interesting applications of Tensorflow
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
:art: A curated contents of amazing CSS :)
VERY experimental Nintendo Switch 2 emulator
Node's framework for interactive CLIs
The most popular open source electronic health records and medical practice management solution.
- openemr
- practice-management
- emr
- ehr
qpdf: A content-preserving PDF document transformer
- pdf-document-processor
High-performance TensorFlow library for quantitative finance.
🔥 Fast, strict, configurable, extensible, and beautiful linter for Go
- go
- golang
- linter
- static-analysis
The Microsoft Build Engine (MSBuild) is the build platform for .NET and Visual Studio.
- build
- msbuild
- visual-studio
- microsoft
A concise grammar of interactive graphics, built on Vega.
- visual-analysis
- visualization-grammar
- visualization
- vega
A ClojureScript framework for building user interfaces, leveraging React
- reagent
- clojurescript
- re-frame
- spa
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
Skill that audits and rewrites content to remove AI writing patterns. Use it with your favorite agents including Claude Code, OpenClaw, Codex, and Hermes.
- ai-writing
- claude
- claude-code
- llm
Combines the high accuracy of AR with the scale of GPS data.
- corelocation
- gps-data
- north-calibration
- arkit
An extensible multilanguage static code analyzer.
- code-analysis
- code-quality
- static-analysis
- static-code-analysis
Experience-Driven Black-Box Cost Control for Coding Agents
- agentic-ai
- agentic-coding
- ai-coding
- ai-coding-assistant
High-performance regular expression matching library
An authoritative list of awesome devsecops tools with the help from community experiments and contributions.
NeuralTalk is a Python+numpy project for learning Multimodal Recurrent Neural Networks that describe images with sentences.
Beautiful, interactive charts, maps, and gauges. One API for every .NET UI framework.
A Claude Code skill bundle for bug hunting and external red-team work - 82 skills, 15 slash commands, 681 disclosed-report patterns curated across 24 core vulnerability classes, plus enterprise identity + infrastructure attack matrices.
- ai-security
- anthropic
- application-security
- bug-bounty
Socket.IO integration for Flask applications.
- python
- flask
- flask-socketio
- socket-io