Popular repositories Loading

1. haskell-z3 haskell-z3 Public

   Forked from IagoAbal/haskell-z3

   Haskell bindings to Microsoft's Z3 API (unofficial).

   Haskell

2. python-mpv python-mpv Public

   Forked from jaseg/python-mpv

   Python interface to the awesome mpv media player

   Python

3. video-annotator video-annotator Public

   Python

4. foundry foundry Public

   Forked from foundry-rs/foundry

   Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

   Rust

5. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   The 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…

   1