Jan Baumeister

@jabaum · User

GitHub profile ↗ · Compare

3 followers2 repositories

Repositories

jabaum/bosy

BoSy is a reactive synthesis tool based on constraint-solving

★ 1SwiftForks 0

jabaum/Shapes

★ 0JavaForks 0