Four short links: 17 September 2013

Verified Web, Verified Base64, Theorem Prover, and Fast Events in C

  1. Quarka web browser with a formally-proven kernel.
  2. High-Assurance Base64 — formally verified C implementation of Base64.
  3. z3 — fast theorem prover from Microsoft Research.
  4. libphenom (GitHub) — Facebook’s open sourced eventing framework. (High-scalability, natch)
tags: , , , , , ,