Zinfour

Zinfour's Repositories

• Zinfour/foundry

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

• Zinfour/haskell-z3

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

  Language:Haskell

• Zinfour/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 http://reviews.llvm.org.

  1

• Zinfour/python-mpv

  Python interface to the awesome mpv media player

  Language:Python00

• Zinfour/video-annotator

  Language:Python