dzufferey Goto Github PK

3dprinting

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

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

continuous_servo

PID controller for brushed DC motor with quadrature encoder

csisat

CSIsat: A Tool for LA+EUF Interpolation

discussion-distributed-robotics

discuss about distributed robotics, coordination, and synchronization

diy-cnc

Plans for my DIY CNC mill

dreal3

New implementation

dzufferey.github.io

formulajson

A JSON parser for Formula

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

libbulldogtest

testing libbulldog on a BBB using scala and sbt (programming/compiling directly on the board)

libgcode

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

marlin

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

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

misc-scala-utils

A collection of scala utils methods that I use across mutliple projects, but does not fit a single category

mtidd

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

my_mvn_repo

A small maven repo to share code between my projects

online_controller

picasso

PICASSO: a PI-CAlculus-based Static SOftware analyzer

pickling

Fast, customizable, boilerplate-free pickling support for Scala

presentations

(mostly) scientific presentation

psync

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

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"