-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
-
foundry Public
Forked from foundry-rs/foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Rust Apache License 2.0 UpdatedJun 2, 2022 -
-
python-mpv Public
Forked from jaseg/python-mpvPython interface to the awesome mpv media player
Python GNU Affero General Public License v3.0 UpdatedOct 2, 2020 -
haskell-z3 Public
Forked from IagoAbal/haskell-z3Haskell bindings to Microsoft's Z3 API (unofficial).
Haskell Other UpdatedJul 11, 2020
{{ message }}