apanda/otp
Erlang/OTP
Three20 is an Objective-C library for iPhone developers
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Erlang/OTP
CVC4 Model Checking
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Google fellowship essay.