A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
- rust
- lint
Repository Index
47,133 repositories indexed
25–48 of 251 · Most stars
:octocat: Improve your README.md profile with these amazing badges.
The Z3 Theorem Prover
Standards either proposed or approved by the Framework Interop Group
Open-Source Web UI for Apache Kafka Management
- kafka-ui
- kafka-brokers
- kafka
- kafka-streams
Bitcoin Improvement Proposals
Open source transactional distributed database. Linear scalability and proven fault-tolerance on commodity hardware or cloud infrastructure without compromising performance.
🔵 Cerebro is an open-source launcher to improve your productivity and efficiency
Draco is a library for compressing and decompressing 3D geometric meshes and point clouds. It is intended to improve the storage and transmission of 3D graphics.
- point-cloud
- 3d-graphics
- compression
- mesh
A tiny friend in your Mac's notch and on your iPhone that keeps an eye on your AI coding agents: Claude Code, Codex, Cursor, Gemini CLI, Antigravity and more. Approve from the notch or your Lock Screen.
A high-performance rendering engine replacement for Minecraft, which greatly improves frame rates and reduces micro-stutter
- minecraft
- fabric
- neoforge
Improved JPEG encoder.
- mozjpeg
- libjpeg
- jpeg-encoder
- image-optimization
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
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
The most scalable and customizable permission server on the market. Fix your slow or broken permission system with Google's proven "Zanzibar" approach. Supports ACL, RBAC, and more. Written in Go, cloud native, headless, API-first. Available as a service on Ory Network and for self-hosters.
- hacktoberfest
- abac
- access-control
- acl
A proven SVG-based JavaScript diagramming library powering exceptional UIs
Improve viewing Markdown in Neovim
Fork of tagtraum industries' GCViewer. Tagtraum stopped development in 2008, I aim to improve support for Sun's / Oracle's java 1.6+ garbage collector logs (including G1 collector)
Improved fzf.vim written in lua
- fzf
- lua
- neovim
- neovim-plugin
A self-hosted job search app that writes tailored resumes and cover letters from your profile.
- caprover
- cover-letter
- docker
- job-application-tracker
ansible-lint checks playbooks for practices and behavior that could potentially be improved and can fix some of the most common ones for you
- ansible
- ansible-lint
- pre-commit-hook
- hacktoberfest
A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
improve neovim lsp experience
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python