Twan van Laarhoven (@twanvl)
  • Stars
    star
    403
  • Global Rank 69,792 (Top 3 %)
  • Followers 115
  • Registered over 13 years ago
  • Most used languages
    Java
    36.4 %
    Haskell
    31.8 %
    C++
    18.2 %
    MATLAB
    9.1 %
    Agda
    4.5 %
  • Location πŸ‡³πŸ‡± Netherlands
  • Country Total Rank 1,361
  • Country Ranking
    Agda
    16
    Haskell
    29
    MATLAB
    44
    C++
    102
    Java
    305

Top repositories

1

MagicSetEditor2

Magic Set Editor is a program for designing trading cards
C++
109
star
2

snake

Snake playing agents
C++
74
star
3

hearthstone-battlegrounds-simulator

A simulator for battles in the Hearthstone Battlegrounds
C++
51
star
4

simple-reflect

Simple reflection of expressions
Haskell
33
star
5

ttie

Type Theory with Indexed Equality
Haskell
23
star
6

multiset

multiset haskell package
Haskell
19
star
7

sts-mad-science-mod

Mad Scientist character for Slay the Spire
Java
14
star
8

domain-adaptation

Domain Adaptation with Randomized Expectation Maximization
MATLAB
12
star
9

sts-googly-mod

Googly eyes for Slay the Spire
Java
11
star
10

sts-exporter

Card image export tool for Slay the Spire
Java
10
star
11

rwa-da

Unsupervised Domain Adaptation with Random Walks on Target Labelings
MATLAB
9
star
12

sts-conspire

New monsters, cards, relics, potions and events for Slay the Spire
Java
7
star
13

graph-cluster

Local search based graph clustering software
C++
6
star
14

sts-hybrid-character

Slay the Spire hybrid character mod
Java
6
star
15

sts-shop-mod

Modifies the merchant's shop, allowing you to buy more items
Java
3
star
16

sts-synergy-relic

Synergistic card choices for Slay the Spire
Java
3
star
17

twanvl-nl

The code behind my homepage (twanvl.nl)
Haskell
3
star
18

moltap

Modal Logic Tableau Prover
Haskell
2
star
19

unsafe-sequence

Code accompanying blog post on unsafe implemenation of sequence in Haskell
Haskell
2
star
20

sts-custom-cards

Custom cards for Slay the Spire
Java
1
star
21

grid-diagrams

A simple haskell library for converting (puzzle) grids to images
Haskell
1
star
22

mse-online

Magic Set Editor online
1
star
23

agda-util-twanvl

Agda utilities library
Agda
1
star