Damien Zufferey's repositories
3Dprinting
things related to 3d printing (models, etc.)
continuous_servo
PID controller for brushed DC motor with quadrature encoder
md_rendering_in_browser
Some scripts to get in browser markdown rendering with latex formula and graphviz graphs
mecanum_wheel_robot
A small omnidirectional wheeled robot
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)
a-star_kicadlib
A kicad library for the Pololu A-Star 328PB Micro
almond-x3dom-model-viewer
A simple 3D viewer that can be used with Almond (Scala Jupyter notebook)
arduino_due_stepper_motor_shield
a motor shield based for g2 with TB67S249FTG breakout board from pololu
grbl2screw-terminal
small board to connect an arduino uno running grbl to external motor drivers
misc-scala-utils
A collection of scala utils methods that I use across mutliple projects, but does not fit a single category
my_mvn_repo
A small maven repo to share code between my projects
presentations
(mostly) scientific presentation
relay_module
Small electronic module for a relay and matching connectors
report
A scala library to produce an output that can be either printed as an html page or as raw text (console)
resync_oopsla20_artifact
Documentation to reproduce the experiments from the paper "Programming at the Edge of Synchrony"
scala-qepcad-interface
Some scala code to call QEPCAD for quantifier elimination queries