Mikhail Ramalho Mikhail Ramalho's Open Source Contributions


lewis-revill/agc-clang
Clang for the Apollo Guidance Computer
C++ - Apache-2.0 - Last pushed - 4 stars
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