Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Repository Index
47,133 repositories indexed
289–312 of 509 · Most stars
Gixy-Next: NGINX Configuration Security Scanner & Performance Checker
Data Quality and Observability platform for the whole data lifecycle, from profiling new data sources to full automation with Data Observability. Configure data quality checks from the UI or in YAML files, let DQOps run the data quality checks daily to detect data quality issues.
- data-ops
- data-quality
- data-quality-checks
- data-quality-measurement
An agent skill that keeps other skills lean and correct: a checklist for every edit, and a tested diet for bloated ones.
Check out NuGet packages adoption and what's trending on NuGet.
- nuget
- trends
- dotnet
- stats
Nagios remote agent
BimCraft: BIM authoring. Parametric walls, doors and windows on levels and grids, with views, schedules, sheets and clash checks from one model.
The World's Most Comprehensive, Authoritative, and Structured Open Source Data Source Knowledge Base
- mcp
- data-sources
- ai
- awesome-list
The super light testing library for Scala and Scala.js
- scala
- scalacheck
- testing
- laws
apicompat checks recent changes to a Go project for backwards incompatible changes
Pokémon Red/Blue overhauled with full GBC support. Made by FroggestSpirit, Drenn, and dannye. Also check out the crysaudio branch.
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Does their story hold up? Paste what a seller, recruiter or landlord told you and check it against public records in thirty seconds, with proof saved for every reason.
- desktop
- due-diligence
- evidence
- fraud
TranslatedZaoba (早八, "8 AM") · Automatically completes daily check-ins for AI tools (WorkBuddy / Doubao Work / Zhipu) every day at 8:30, free and open source, with a local visual console
- automation
- cdp
- electron
- launchd
AI writing assistance. Free & open source. Offline English and German grammar checks, with rewrites and translation through your own AI.
- chrome-extension
- grammar-checker
- writing-assistant
Check whether a package or organization name is available on npm
The Golang linter that checks usage of github.com/stretchr/testify.
- go
- golang
- linter
- static-analysis
:heavy_check_mark: Run tests for multiple versions of Node.js in local env.
- test
- travis
- circleci
Offline evidence-policy checker for PandaSI.
PHPCheckstyle is an open-source tool that helps PHP programmers adhere to certain coding conventions.
- php
- coding-conventions
- phpcheckstyle
- checkstyle
Install R packages from snapshots on checkpoint-server
A command line interface for Git Checkout. See branches available for checkout.
Flake8 Type Annotation Checking
- python
- python3
- flake8-plugin
- type-annotations
A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automatic deserialization, static query verification and type checking
- graphql-schema
- dotnet-cli
- fable
- graphql