Lists (20)
blockchain protocol
1 repository
blockchain-rust
1 repository
compiler
2 repositories
contract audit reports
3 repositories
ethereum-rust
33 repositories
formal verification
41 repositories
functional programming
2 repositories
fuzz
8 repositories
Latex/Beamer
3 repositories
papers
2 repositories
runtime verification
12 repositories
rust-development
11 repositories
samrt contract verification
15 repositories
smart contract analysis
18 repositories
smart contract CTF
1 repository
solana
1 repository
solidity contracts
1 repository
temporal properties
21 repositories
ZK
10 repositories
ZK EVM
2 repositories
Starred repositories
16
stars
written in Haskell
Clear filter
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
📜 Haskell course info, plan, video lectures, slides
A collection of Practical Haskell bits.
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
Runtime verification tool for Solidity smart contracts.
Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
A library for stateful property-based testing
Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
Remove past from an LTL+Past formula, producing an LTL equisatisfiable one