dhendriks

Netherlands

Pinned Repositories

com.github.javabdd
JavaBDD: A Java library for Binary Decision Diagrams (BDDs)
Language:Java0 0 00
eclipse-equinox
equinox
Language:Java00
eclipse.platform.releng.aggregator
Aggregated repository for Eclipse Java IDE
Language:HTML00
eclipse.platform.ui
Eclipse Platform
Language:Java00
rouge
A pure Ruby code highlighter that is compatible with Pygments
Language:Ruby00
STSLib
BDD-based State Tree Structure Library to help you learn STS
Language:C++1 1 01
tycho
Tycho project repository (tycho)
Language:Java0 0 00
drush
Drush is a command-line shell and scripting interface for Drupal, a veritable Swiss Army knife designed to make life easier for those who spend their working hours hacking away at the command prompt.
Language:PHP2.3k 148 3.2k1.1k
rouge
A pure Ruby code highlighter that is compatible with Pygments
Language:Ruby3.3k 57 847743
MIDS
Model Inference and Differencing Suite
Language:HTML3 5 50

dhendriks's Repositories

dhendriks/STSLib
BDD-based State Tree Structure Library to help you learn STS
Language:C++1 1 01
dhendriks/com.github.javabdd
JavaBDD: A Java library for Binary Decision Diagrams (BDDs)
Language:Java0 0 00
dhendriks/eclipse-equinox
equinox
Language:Java00
dhendriks/eclipse.platform.releng.aggregator
Aggregated repository for Eclipse Java IDE
Language:HTML00
dhendriks/eclipse.platform.ui
Eclipse Platform
Language:Java00
dhendriks/rouge
A pure Ruby code highlighter that is compatible with Pygments
Language:Ruby00
dhendriks/tycho
Tycho project repository (tycho)
Language:Java0 0 00