twanvl/ttie

Stars
23
Rank 1,016,462 (Top 21 %)
Language
Haskell
Created about 8 years ago
Updated over 7 years ago

twanvl/ttie

twanvl

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

Type Theory with Indexed Equality

MagicSetEditor2

Magic Set Editor is a program for designing trading cards

snake

Snake playing agents

hearthstone-battlegrounds-simulator

A simulator for battles in the Hearthstone Battlegrounds

simple-reflect

Simple reflection of expressions

multiset

multiset haskell package

sts-mad-science-mod

Mad Scientist character for Slay the Spire

domain-adaptation

Domain Adaptation with Randomized Expectation Maximization

sts-googly-mod

Googly eyes for Slay the Spire

sts-exporter

Card image export tool for Slay the Spire

rwa-da

Unsupervised Domain Adaptation with Random Walks on Target Labelings

sts-conspire

New monsters, cards, relics, potions and events for Slay the Spire

graph-cluster

Local search based graph clustering software

sts-hybrid-character

Slay the Spire hybrid character mod

sts-shop-mod

Modifies the merchant's shop, allowing you to buy more items

sts-synergy-relic

Synergistic card choices for Slay the Spire

twanvl-nl

The code behind my homepage (twanvl.nl)

moltap

Modal Logic Tableau Prover

unsafe-sequence

Code accompanying blog post on unsafe implemenation of sequence in Haskell

sts-custom-cards

Custom cards for Slay the Spire

grid-diagrams

A simple haskell library for converting (puzzle) grids to images

mse-online

Magic Set Editor online

agda-util-twanvl

Agda utilities library