-
Huazhong University Of Science and Technology
- Wuhan, Hubei, China
Highlights
- Pro
Lists (20)
Sort Name ascending (A-Z)
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
- All languages
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Cairo
- Circom
- Classic ASP
- Clojure
- CodeQL
- Common Lisp
- Coq
- Cuda
- Dafny
- Elixir
- F#
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- KCL
- Kotlin
- LLVM
- Lean
- Lua
- Markdown
- Meson
- MoonBit
- Move
- Noir
- OCaml
- Objective-C
- PDDL
- Python
- ReScript
- RenderScript
- Rocq Prover
- Rust
- SMT
- Scala
- Shell
- Solidity
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- Typst
- Vyper
- WebAssembly
- Yul
- Zig
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