Tom van Dijk (@trolando)
github

trolando

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    140
  • Global Rank 162,033 (Top 6 %)
  • Followers 40
  • Following 6
  • Registered almost 14 years ago
  • Most used languages
    C++
         55.6 %
    Python
         22.2 %
    C
         11.1 %
    Java
         11.1 %
  • Location πŸ‡³πŸ‡± Netherlands
  • Country Total Rank 3,029
  • Country Ranking
    C
         202
    C++
         243
    Java
         3,507
    Python
         5,586

Top repositories

1

sylvan

Implementation of multi-core (binary) decision diagrams
C
66
star
2

lace

Lace - implementation of work-stealing in C
C++
34
star
3

oink

Oink, an implementation of modern parity game solvers
C++
31
star
4

knor

Knor, a symbolic synthesis tool for HOA parity automata
C++
3
star
5

dfi-experiments

Experimental results accompanying the paper about Distraction Fixpoint Iteration
Python
1
star
6

adventofcode

My Advent of Code solutions (in Java)
Java
1
star
7

tbdd-fmcad2017

Python
1
star
8

oink-experiments

C++
1
star
9

Divine2

C++
1
star
10

Sims1Tools

The main tools I once developed for modding The Sims 1
1
star