• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • Created over 12 years ago
  • Updated almost 7 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The code behind my homepage (twanvl.nl)

More 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

moltap

Modal Logic Tableau Prover
Haskell
2
star
18

unsafe-sequence

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

sts-custom-cards

Custom cards for Slay the Spire
Java
1
star
20

grid-diagrams

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

mse-online

Magic Set Editor online
1
star
22

agda-util-twanvl

Agda utilities library
Agda
1
star