Stars
- All languages
- Agda
- Assembly
- C
- C++
- CMake
- Circom
- Clojure
- CodeQL
- Coq
- Cuda
- F*
- Frege
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kaitai Struct
- Kotlin
- LLVM
- Lean
- Lua
- MLIR
- Makefile
- Mojo
- Nix
- OCaml
- Python
- Raku
- Rocq Prover
- Rust
- SMT
- Scala
- Shell
- Solidity
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- WebAssembly
- Xtend
5
stars
written in LLVM
Clear filter
etclabscore / evm_llvm
Forked from llvm-mirror/llvmOfficial repo of the EVM LLVM project
A program synthesis framework for verified lifting applications
Collection of LLVM passes and triage tools for use with the KRF fuzzer