jartieda/minisat
A minimalistic and high-performance SAT solver
Developer Profile
jartieda
Discovered public repositories for jartieda in the GitHub catalog.
jartieda/fiware-orion
FI-WARE Orion Context Broker
jartieda/pixastic
JavaScript Image Processing Library
jartieda/jsPDF
Generate PDF files in JavaScript. HTML5 FTW.
jartieda/contiki
The official git repository for Contiki, the open source OS for the Internet of Things
jartieda/MRDev
Tools for MRCore: Simple simulator, teleop, examples, (with freeglut)
jartieda/MRCore
Mobile Robotics development toolkit, in C++