Explore Projects
Discover 107 open source projects
Showing 21-40 of 107 projects
facebook/pyrefly
A fast type checker and language server for Python, built in Rust with a focus on code quality.
jef/streetmerchant
A powerful and easy-to-use stock checking bot for developers and enthusiasts.
PyCQA/pycodestyle
A simple Python style checker that enforces PEP 8 style guide for Python code.
cordx56/rustowl
A Rust tool that visualizes ownership and lifetimes, helping developers understand Rust's borrow checker.
jscs-dev/node-jscs
An unmaintained JavaScript code style checker for enforcing consistent code style across projects.
crazy-max/diun
A Go-based tool that receives notifications when a Docker image is updated on a registry.
speed47/spectre-meltdown-checker
A tool for checking and mitigating various CPU vulnerabilities like Spectre, Meltdown, and ZombieLoad.
crate-ci/typos
A Rust-based source code spell checker that can be used as a command-line tool to catch typos in your codebase.
sorbet/sorbet
A fast, powerful type checker designed for Ruby, useful for vibe coders building Ruby projects.
snooppr/snoop
A powerful OSINT tool for gathering open-source intelligence and performing online investigations.
builtbybel/privatezilla
A Windows 10 privacy and security checker tool that helps users optimize their system settings.
WVector/AppUpdate
A flexible and customizable Android library for easy version update handling in your app.
jsx-eslint/eslint-plugin-jsx-a11y
A static AST checker for accessibility rules on JSX elements, helping developers build more inclusive React apps.
ibnaleem/gosearch
A comprehensive OSINT tool written in Go that allows searching anyone's digital footprint across 300+ websites.
Lucksi/Mr.Holmes
A comprehensive open-source intelligence (OSINT) tool for gathering information from various online sources.
model-checking/kani
Kani is a Rust-based model checker that helps developers verify the correctness of their Rust programs.
carthage-software/mago
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
mtshiba/pylyzer
A fast, feature-rich static code analyzer & language server for Python
rubysec/bundler-audit
Open-source Ruby library that checks installed gems for known vulnerabilities
kaleidawave/ezno
A fast, correct TypeScript type checker and compiler with additional experiments, built in Rust.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.