adegroote/gladys
The Graph Library for Autonomous and DYnamic Systems
Discovered public repositories for adegroote in the GitHub catalog.
The Graph Library for Autonomous and DYnamic Systems
Jane Street Capital's standard library overlay
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
NetBSD driver for dwc_otg usb controller
A simple development of linear logic in Coq.
The Modular OpenRobots Simulation Engine
A framework to write supervision process for autonomous robots
Porting DRM/GEM from OpenBSD to NetBSD (Intel only)
High-level virtual network for robotics experimentation
Haskell parsing and binding for Genom tool