GitHub repository: GaloisInc/lean-llvm
Primary language: Lean
Description: LLVM support for the lean theorem prover