Damien Zufferey

psync. DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds

scadla. scala library for constructive solid geometry

dzufferey.github.io. HTML

continuous_servo. PID controller for brushed DC motor with quadrature encoder

3Dprinting. things related to 3d printing (models, etc.)

mtidd. A C++ library for multi-terminal (reduced ordered) interval decision diagrams

libgcode. a scala library to parse, tranform, and print g-code

picasso. PICASSO: a PI-CAlculus-based Static SOftware analyzer

md_rendering_in_browser. Some scripts to get in browser markdown rendering with latex formula and graphviz graphs

scadla-oce-backend. Scadla Rendering Backend based on Open CASCADE

scala-smtlib-interface. A scala library to interface with SMT-solver using the SMT-LIB standard (v2.0)

mecanum_wheel_robot. A small omnidirectional wheeled robot

csisat. CSIsat: A Tool for LA+EUF Interpolation

s-expr. A small s-expression parser and printer written in scala