twanvl/unsafe-sequence twanvl/unsafe-sequence

  • Stars
    star
    2
  • Language
    Haskell
  • Created about 9 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
twanvl/unsafe-sequence
github

twanvl

Reviews

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

Repository Details

Code accompanying blog post on unsafe implemenation of sequence in Haskell

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

twanvl-nl

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

moltap

Modal Logic Tableau Prover
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