act

Smart contract specification language

AGPL-3.0 License

Stars
214
Committers
11
View Code on GitHub
Ecosystems: Solidity, Ethereum

Commit Statistics

Past Year

All Time

Total Commits
62
809
Total Committers
5
13
Avg. Commits Per Committer
12.4
62.23
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
18
112
Merged Pull Requests
13
100
Total Issues
5
72
Time to Close Issues
2 days
6 months
Related Projects
yools

Tools for Yul.

05 Aug 2022 139
consensus-spec-tests

Common tests for the Ethereum proof-of-stake consensus layer

25 Apr 2019 75
building-secure-contracts

Guidelines and training material to write secure smart contracts

10 Jan 2020 2,094
solidity-cfg-builder

A control-flow graph builder for Solidity smart contracts.

18 Feb 2018 26
hevm

symbolic EVM evaluator

29 Aug 2022 229
substratum

An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.

01 Mar 2023 57
execution-specs

Specification for the Execution Layer. Tracking network upgrades.

11 Aug 2020 766
puretea

24 Jun 2022 17
Yul-K

Formal semantics of the yul language

02 Sep 2019 9
fe

Emerging smart contract language for the Ethereum blockchain.

10 Aug 2019 1,559
consensus-specs

Ethereum Proof-of-Stake Consensus Specifications

20 Sep 2018 3,549
natspec.js

Javascript Library used to evaluate natspec expressions

03 Mar 2015 15
solidity-examples

Loose collection of Solidity example code

11 Nov 2016 532
execution-apis

Collection of APIs provided by Ethereum execution layer clients

16 Jun 2021 941
c-kzg-4844

A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.

18 Nov 2022 116