dzufferey

psync

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

scadla

scala library for constructive solid geometry

3Dprinting

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

continuous_servo

PID controller for brushed DC motor with quadrature encoder

dzufferey.github.io

libgcode

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

mtidd

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

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

s-expr

A small s-expression parser and printer written in scala

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

diy-cnc

Plans for my DIY CNC mill

dreal3

New implementation

grbl2screw-terminal

small board to connect an arduino uno running grbl to external motor drivers

jCAE

Java Computer Aided Engineering

led_frame

The backpanel for a "frame" with a bunch of RGB LEDs

Marlin

Optimized firmware for RepRap 3D printers based on the Arduino platform.

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

online_controller

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-arg

A scala library to process command line arguments, inspired by the Ocaml Arg module

scala-qepcad-interface

Some scala code to call QEPCAD for quantifier elimination queries