FerryT (FerryT) / Repositories

mCRL2 Public
Forked from mCRL2org/mCRL2

The Git repository for the mCRL2 toolset.

C++ Boost Software License 1.0 Updated Jun 10, 2024
ltsgraphcolor Public

coloring states in ltsgraph files by regexp

C++ MIT License Updated Nov 25, 2022
scc Public

On-line strongly connected components algorithm implementation of Bernstein et. al. 2019

C++ Updated Jul 19, 2019
TU-Eindhoven-Reveal.js-Theme Public

An unofficial TU/e theme for the reveal.js presentation framework.

JavaScript 9 5 MIT License Updated Feb 10, 2019
tue-reveal.js Public
Forked from hakimel/reveal.js

An unofficial TU/e theme for the reveal.js presentation framework

html slideshow presentation html-presentation slides tue presentation-framework

JavaScript MIT License Updated Nov 17, 2018
ltsgraph Public

LTS Graph

C++ Updated Mar 2, 2017
SiCGp2 Public

Fluid and rigid body simulation

C++ MIT License Updated Jul 11, 2016
SiCGp1 Public

Simulation in Computer Graphics project 1

C++ Updated May 22, 2016
UrbanFlow Public

Browser based Crowd movement simulation for Urban plans

JavaScript GNU General Public License v3.0 Updated Apr 18, 2016
2IMA15 Public

Repository for 2IMA15 - Pizza Slice game

JavaScript MIT License Updated Jan 25, 2016
CSG-project Public

C++ Updated Jun 21, 2015
tue-ogo21 Public

Automatically exported from code.google.com/p/tue-ogo21

Java Updated Mar 13, 2015
rascal-OFG Public
Forked from cwi-swat/rascal-OFG

A rascal library to translate OFG's to Tonella and Potrich's Object Flow Graph language.

XML Updated Feb 17, 2015
StatusBarNotification Public

Phonegap StatusBarNotification plugin for Android (plugman compatible)

Java 5 Updated Sep 9, 2013
phonegap-plugins Public
Forked from phonegap/phonegap-plugins

Plugins for use with PhoneGap.

Java Updated Sep 2, 2013
OGO-2.3 Public
Forked from timvdalen/OGO-2.3

Project voor OGO 2.3

C++ 1 Updated Jun 22, 2012
OGO-2.2 Public
Forked from timvdalen/OGO-2.2

Repo voor OGO 2.2 Groep 6

Java 1 Updated Apr 4, 2012
OGO-2.1 Public

1 Updated Sep 9, 2011

Ferry Timmers FerryT

Achievements

Achievements

mCRL2 Public

Uh oh!

ltsgraphcolor Public

Uh oh!

scc Public

Uh oh!

TU-Eindhoven-Reveal.js-Theme Public

Uh oh!

tue-reveal.js Public

Uh oh!

ltsgraph Public

Uh oh!

SiCGp2 Public

Uh oh!

SiCGp1 Public

Uh oh!

UrbanFlow Public

Uh oh!

2IMA15 Public

Uh oh!

CSG-project Public

Uh oh!

tue-ogo21 Public

Uh oh!

rascal-OFG Public

Uh oh!

StatusBarNotification Public

Uh oh!

phonegap-plugins Public

Uh oh!

OGO-2.3 Public

Uh oh!

OGO-2.2 Public

Uh oh!

OGO-2.1 Public

Uh oh!