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
5
stars
written in LLVM
Clear filter
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
💀💀💀 The former home of clangir incubator, now part of the official llvm-project.
RUEE is an attempt to implement the passes in CS701 http://pages.cs.wisc.edu/~fischer/cs701.f08/proj3.llvm.html