hilmar1

hilmar1's Stars

• sarsko/CreuSAT

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

  Language:Rust60911

• openfirmware/pi-lights-homekit

  Use HomeKit to control christmas lights

  Language:Ruby1

• AsahiLinux/u-boot

  "Das U-Boot" Source Tree

  Language:C15824

• open-dynamic-robot-initiative/mw_dual_motor_torque_ctrl

  ODRI Motor Board Firmware for CAN Communication

  Language:C126

• ethz-adrl/control-toolbox

  The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control

  Language:C++1.4k314

• open-dynamic-robot-initiative/open_robot_actuator_hardware

  1.1k202