Beast code in Giters

Damien Zufferey's repositories

CSIsat: A Tool for LA+EUF Interpolation

Language:OCamlNOASSERTION1 20

PICASSO: a PI-CAlculus-based Static SOftware analyzer

Language:ScalaNOASSERTION1 50

discuss about distributed robotics, coordination, and synchronization

020

A JSON parser for Formula

Language:C#MIT020

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

Language:ScalaNOASSERTION020

Fast, customizable, boilerplate-free pickling support for Scala

Language:Scala020

Interface/library to control the uArm robotic arm by UFactory written in Scala

Language:ScalaUnlicense020