mrkj

mrkj.github.io

WSLCD1in8

clang

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.

abc

A system for sequential synthesis and verification (this repo is from before https://bitbucket.org/alanmi/abc/src became available; use that one instead)