Christopher Schuster

icon indicating a website link https://chris-schuster.net/

icon company Google icon location San Jose, CA

Results 4 repositories owned by Christopher Schuster

esverify

121
Stars
5
Forks
Watchers

ECMAScript verification with SMT solvers

verified publisher icon levjj

esverify-theory

18
Stars
2
Forks
Watchers

Formalism and proofs for esverify

verified publisher icon levjj

rde

17
Stars
3
Forks
Watchers

Reactive Live Programming Environment

verified publisher icon levjj

sweet-actors

22
Stars
1
Forks
Watchers

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

verified publisher icon levjj