alloy
In computer science and software engineering, Alloy is a declarative
specification language for expressing complex structural constraints and
behavior in a software system. Alloy provides a simple structural modeling tool
based on first-order logic. Alloy is targeted at the creation of micro-models
that can then be automatically checked for correctness. Alloy specifications
can be checked using the Alloy Analyzer.
Here are 24 public repositories matching this topic...
Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
-
Updated
Aug 19, 2025 - Rust
A suite of portable, extensible `std` components for the superchain.
-
Updated
Jan 20, 2025 - Rust
Scroll L2 follower node written in rust
-
Updated
Nov 15, 2024 - Rust
A fork of the Alloy project that adds the ICP blockchain as a transport layer and signer.
-
Updated
Nov 28, 2024 - Rust
Flashblocks Rollup Boost client integration using Alloy written in Rust
-
Updated
Feb 28, 2025 - Rust
Experimental Arbiter engine port to use Alloy and Anvil
-
Updated
Aug 4, 2024 - Rust
VoteChain Relay Server – Gas-Free Ethereum Transactions via meta-transactions
-
Updated
Dec 17, 2024 - Rust
- Followers
- 4 followers
- Organization
- AlloyTools
- Website
- github.com/topics/alloy-analyzer
- Wikipedia
- Wikipedia