Stars
Spec-driven development for AI coding assistants.
Simplifying reinforcement learning for complex game environments
LiteIDE is a simple, open source, cross-platform Go IDE.
derekparker / delve
Forked from go-delve/delveDelve is a debugger for the Go programming language.
Rapid is a modern Go property-based testing library
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
💫 Toolkit to help you get started with Spec-Driven Development
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
Formally Verified Arguments of Knowledge in Lean
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
a fast, scalable, multi-language and extensible build system
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Visual Studio Code language support extension for Solidity smart contracts in Ethereum https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity
Guidelines and training material to write secure smart contracts
Pre-built security properties for common Ethereum operations
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
APALACHE: symbolic model checker for TLA+ and Quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)