a version of the 2048 game for Coq
Repository Index
47,133 repositories indexed
217–240 of 251 · Most stars
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
Sandboxed devcontainer for running Claude Code, Codex, and OpenCode in bypass / auto-approve mode.
- ai
- claude-code
- codex
- devcontainer
This library makes your CL unittests more readable.
- unittesting
- prove
- hamcrest
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Normalize values in package.json to improve compatibility, programmatic readability and usefulness with third party libs.
- package
- json
- packagejson
- node
Performance Improvements for the Sitecore Platform
Declarative data quality engine. Define checks in YAML, run anywhere.
- airflow
- anomaly-detection
- data-contracts
- data-quality
proof script associated to tutorial material
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Instantly add Corda to any tech stack and improve resiliency of your architecture
- cordapps
- corda-node
- openapi3
- swagger-ui
An experiment to improve multithreading performance of hunchentoot without any additional dependencies.
Plugin that improves support for Github Actions files in Neovim.
Enterprise ready set of web components which work best with Eclipse Furo. Comes with minimal footprint. Based on web standards. Future proved. Compliant with any technology of choice.
- webcomponents
- web
- webstack
- custom-elements
Sitecore branded Windows Termial and VS Code Theme and Profile to unlock helpful tooling for working with XM Cloud such as autocompletion, command history list and directory improvements. However this Theme and profile is Sitecore independent and can be used with any terminal related work.
Various useful scripts for dealing with Coq files
AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
- ai-agents
- ai-code-review
- authorization
- bola
Real macOS WiFi data for Go: scan unredacted SSIDs/BSSIDs and read saved WiFi passwords with user-approved macOS prompts.
- apple-silicon
- cli
- corewlan
- go
Jupyter Kernel for ACL2
- acl2
- theorem-prover
- jupyter
- jupyter-kernel
The repository host gives no description.
- lecture
- floating-point
- coq-formalization
- ieee-754
Pin AI Skill behavior. Block unapproved drift in CI. See exactly what changed in every PR.
- ai
- ai-skills
- apache-2
- claude-code
Reimplementation of Natural Number Game in Coq
Provides a cached version of the RoutingMiddleware to improve the load time of routes