broesdecat

broesdecat's Stars

• hakimel/reveal.js

  The HTML Presentation Framework

  Language:JavaScript67.6k1.7k2.4k16.6k

• leethomason/tinyxml2

  TinyXML2 is a simple, small, efficient, C++ XML parser that can be easily integrated into other programs.

  Language:C++5k2255101.8k

• antirez/linenoise

  A small self-contained alternative to readline and libedit

  Language:C3.7k10691664

• vinniefalco/LuaBridge

  A lightweight, dependency-free library for binding Lua to C++

  Language:C1.6k100215346

• angular-gantt/angular-gantt

  Gantt chart component for AngularJS

  Language:TypeScript1.4k99746488

• jfree/jfreechart

  A 2D chart library for Java applications (JavaFX, Swing or server-side).

  Language:Java1.2k56217456

• niklasso/minisat

  A minimalistic and high-performance SAT solver

  Language:C++1k4926382

• movsim/traffic-simulation-de

  Source code for javascript simulation of website

  Language:JavaScript9673722142

• tpaviot/oce

  OpenCASCADE Community Edition (OCE): a community driven fork of the Open CASCADE library.

  Language:C++81194291284

• IFL-CAMP/iiwa_stack

  ROS integration for the KUKA LBR IIWA R800/R820 (7/14 Kg).

  Language:Java33131231248

• frerich/clcache

  A compiler cache for MSVC, much like ccache for gcc

  Language:Python3263711183

• MOEAFramework/MOEAFramework

  A Free and Open Source Java Framework for Multiobjective Optimization

  Language:Java32225260128

• nasa/europa

  Language:C++2164218172

• ros-industrial/industrial_moveit

  ROS-Industrial movit meta-package (http://wiki.ros.org/industrial_moveit)

  Language:C++93253966

• inorton/cclash

  ccache / clcache inspired compiler cache for cl.exe

  Language:C#75132513

• msteveb/linenoise

  A small self-contained alternative to readline and libedit

  Language:C717628

• v3ss0n/goto

  GOTO using Atom's Symbols

  Language:CoffeeScript46210617

• licheng/gccfilter

  gccfilter is a perl filter to colorize and simplify (or expand) gcc diagnostic messages. gccfilter is particularly aimed at g++ (i.e. dealinging with C++) messages which can contain lot of template-related errors or warnings difficult to sort out.

  Language:Perl21666

• broesdecat/Minisatid

  DPLL(T)-based search algorithm for ground input supporting inductively defined concepts, finite domain constraints, pseudo-boolean aggregates and subtheory queries (polynomial hierarchy expressivity).

  Language:C++7301

• djerius/autotoolized-lua

  Autoconf, automake and libtool enabled Lua

  Language:C4422

• metu-kovan/human_model

  ROS Package for Drawing Human Model in RViz

  Language:Python4422

• broesdecat/Flatzinc-To-IDP

  Transformation of flatzinc into the IDP knowledge representation language, based on the logic FO(ID, Agg, part, arith).

  Language:C++2200

• broesdecat/AI-driven-Bomberman

  Project to test some state of the art AI techniques and how they would apply to games.

  Language:Java10

• broesdecat/autotoolized-lua

  Autoconf, automake and libtool enabled Lua

  Language:C1200

• broesdecat/Flatzinc-To-ECNF

  Transformation of flatzinc into the Extended CNF format, input language of MinisatID

  Language:C++1200

• broesdecat/linenoise

  A small self-contained alternative to readline and libedit

  Language:C1200

• broesdecat/minisat

  A minimalistic and high-performance SAT solver with DPLL(T) support

  Language:C++1200