Mikhail Ramalho Mikhail Ramalho

Tracking 252 commits to 14 open source packages


Location: Manaus


Repositories

mikhailramalho/libsmt2
LibSMT2: a C++/python library for SMT encoding and solving
Apache-2.0 - Updated - 0 stars
See all Mikhail Ramalho's repositories

Repositories Contributed To

llvm-mirror/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five...
C++ - Apache-2.0 - Last pushed - 2.69K stars - 1.54K forks
ziqingluo/SV-comp2
C - Last pushed - 0 stars
holao09/esbmc
C++ - Other - Updated - 0 stars
hussamaa/escalonator
Escalonator - Real-time System Scheduler Simulator
Java - Last pushed - 1 stars
kypeli/kQOAuth
kQOAuth is a library written in C++ for Qt that implements the OAuth 1.0 authentication specifica...
C++ - LGPL-2.1 - Last pushed - 26 stars - 13 forks
See all Mikhail Ramalho's contributions

Last synced: 2016-04-17 22:12:47 UTC

Login to resync this page