Explore Projects
Discover 274 open source projects
Showing 241-260 of 274 projects
18601949127/DiDiCallCar
An Android app for a Didi-like ride-hailing service with RFID authentication and driver license OCR.
idanarye/rust-typed-builder
A Rust library that provides a type-checked builder derive for compile-time builder construction.
kahlan/kahlan
A PHP test framework that supports BDD, code coverage, and other advanced testing features.
squizlabs/HTML_CodeSniffer
A JavaScript application that checks HTML documents for accessibility and coding standard violations.
typetools/checker-framework
A pluggable type-checking tool for Java that helps catch bugs and enforce code correctness.
microsoft/PowerBI-JavaScript
A JavaScript library for embedding Microsoft Power BI into web applications.
LordAmit/Brightness
A Python library for controlling the brightness of primary and external displays on Linux systems.
cisagov/log4j-affected-db
A community-sourced list of software affected by the Log4j vulnerability, for developers to check their projects.
rhysd/vim-grammarous
A powerful Vim plugin that uses LanguageTool to provide advanced grammar checking capabilities for Vim users.
protofire/solhint
Solhint is an open-source linting utility for Solidity code, providing security, style, and best practice checks.
PyCQA/pydocstyle
A Python package that checks Python docstrings for style guide compliance.
terrajobst/minsk
A handwritten compiler in C# that illustrates basic concepts of compiler construction and language tooling.
laluka/bypass-url-parser
A Python library that helps developers bypass URL parsing restrictions and security checks.
Dinnerbone/mcstatus
A Python library for checking the status of Minecraft servers
jotaen/xit
A plain-text file format for todos and checklists, providing a minimalist and flexible todo management solution.
formal-land/rocq-of-rust
A formal verification tool for Rust that checks 100% of execution cases to ensure safe applications.
pentestmonkey/unix-privesc-check
Unix Privesc Check is a shell script that checks for common Unix privilege escalation vectors.
HillZhang1999/llm-hallucination-survey
A reading list and survey paper on hallucination in large language models (LLMs) for AI-focused developers.
AliveToolkit/alive2
Automatic verification of LLVM optimizations using symbolic execution and model checking
jspecify/jspecify
A Java library for static analysis and nullability checking, useful for improving code quality and stability.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.