Popular repositories Loading

1. esverify esverify Public

   ECMAScript verification with SMT solvers

   TypeScript 124 5

2. sweet-actors sweet-actors Public

   A set of sweet.js macros to write Scala-like actors.

   JavaScript 22 1

3. esverify-theory esverify-theory Public

   Formalism and proofs for esverify

   Lean 20 2

4. rde rde Public

   Reactive Live Programming Environment

   JavaScript 18 3

5. jsfxs jsfxs Public

   Static analysis/Effect system for JavaScript

   CoffeeScript 4 1

6. wahlomat-visualization wahlomat-visualization Public

   Visualization of the Wahl-o-mat

   Python 3 1