apanda/otp
Erlang/OTP
Unfancy JavaScript
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.