CnPack VCL Components
- cnpack-vcl-components
- cnpack
- delphi
- pascal
Repository Index
47,133 repositories indexed
49–72 of 101 · Most stars
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.
- access-control
- authorization
- backend-framework
- cedar
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
High-assurance AI data visualization IDE & analytics workbench. Natural language to charts with local ground-truth table verification.
- ai-analytics
- data-analysis
- data-visualization
- duckdb
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Build, Measure and Grow iOS subscription business
- ios
- in-app-purchase
- in-app-purchases
- in-app-receipt
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
CRAB (Clean Rebuild of Anything's Behavior): rebuild software from behavior, not source code. An MCP-powered toolkit for black-box observation, clean-room reimplementation, and behavioral verification.
- clean-room-reimplementation
- ai-agents
- behavioral-testing
- black-box-testing
A Verified Compiler for Gallina, Written in Gallina
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
AI-assisted Windows and Chrome GUI delegation for Codex: task contracts, local execution, Jev semantic decisions, recovery and outcome verification.
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
Your users download a 4GB AI model, the connection drops at 3.8GB, verifyfetch resumes from 3.8GB and verifies every byte. Drop-in integrity verification for Transformers.js, WebLLM, and any large file in the browser.
- ai-models
- browser
- fetch
- integrity
🚀 Configurable Golang 📨 email validator/verifier. Verify email via Regex, DNS, SMTP and even more. Be sure that email address valid and exists.
- go
- golang
- go-package
RSA public/private key encryption, private key signing and public key verification in Swift using the Swift Package Manager. Works on iOS, macOS, and Linux (work in progress).
- swift
- rsa-cryptography
- rsa-signature
- macos
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Self-healing Docker CI: BuildKit failure taxonomy, Claude Code fixes, rebuild verification, capped retries.
Collection of ssl verification functions for Erlang