twanvl/moltap

Stars
2
Language
Haskell
License
GNU Lesser Genera...
Created over 6 years ago
Updated over 6 years ago

twanvl/moltap

twanvl

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

Modal Logic Tableau Prover

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

ttie

Type Theory with Indexed Equality

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)

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