valida
by valida-xyz
A STARK-based VM focused on code reuse, performance, and modularity
AI summary
Virtual Machine
A STARK-based virtual machine designed to improve code reuse, performance and modularity through a custom instruction set, compiler and extensibility features.
- stars
- 303
- forks
- 51
- watching
- 13
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
Compiler verifier
A formal verification project of the LLVM compiler's semantics using Coq proof assistant.
EVM verifier
A framework for verifying smart contract code on the Ethereum Virtual Machine
Document Verifier
A tool for verifying digital documents by comparing images of converted versions.
Component verifier
A tool for verifying Blazor components by capturing their rendered HTML and model state in a snapshot file.
RISC-V Verifier
A framework for formally verifying RISC-V processors by providing a processor-independent formal description and testbenches.
Validation library
A validation library for Swift that provides flexible and easy-to-use rules for checking data against conditions.
Verification framework
Provides reusable and modular VHDL verification components for creating testbenches and verifying digital circuits.
System verifier
A system for verifying correctness of concurrent and crash-safe systems with recovery procedures
Virtual machine
A STARK-based virtual machine designed to execute programs and generate proof of execution without revealing program details.
Command processor verifier
Adds support for verifying a specific command processing framework
Verifier
An implementation of a DeepPoly-based verifier for robustness analysis in deep neural networks
Checksum verifier
A tool for verifying media checksums without re-encoding or re-writing metadata.
Mvvm tester
A test suite for verifying the behavior of CommunityToolkit.Mvvm
Test helper verifier
Provides a way to verify the behavior of MassTransit test helpers during testing.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions valida.
