A Ruby static code analyzer and formatter, based on the community Ruby style guide.
- ruby
- rubocop
- linter
- static-code-analysis
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
The Microsoft community Windows Package Manager manifest repository
- hacktoberfest
Community hub for Requestly API Client — bugs, feature requests, and roadmap. The privacy-first Postman alternative.
- open-source
- api-client
- api-testing
- developer-tools
The Ruby community's gem hosting service.
- ruby
- rubygems
- package-manager
Nix language server, based on nix libraries [maintainer=@inclyc,@takeokunn,@Aleksanaa]
Build Android (AOSP) using Nix [maintainer=@cyclic-pentane]
The D Completion Daemon is an auto-complete program for the D programming language
- d
- autocomplete
- dlang
- code-completion
Swiss-army knife for D source code
- dlang
- linter
- lint
- ctags
Dfmt is a formatter for D source code
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Support for building npm packages in Nix and lightweight npm registry [maintainer=?]
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Community maintained fork of https://github.com/dsacre/mididings
- midi-router-linux
- python-midi
- real-time-performance
- live-music-automation
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
An opinionated starter for Cycle.js projects powered by TypeScript.
- starter-project
- cycle
- typescript
- webpack
Unofficial community-maintained module for https://steamapis.com
- steamapis
- node-steamapis
- npm
Linter for PowerToys Run community plugins
- microsoft-powertoys
- plugin
- plugins
- powertoys
:package: CMake Community Modules
- cmake
- cmake-modules