Petr Hudeček (@Soothsilver)
github

Soothsilver

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

snowride

A faster Robot Framework IDE
Java
18
star
2

mtg-grammar

ANTLR4 grammar for all Magic: the Gathering cards in Guilds of Ravnica
TypeScript
10
star
3

dtd-parser

Aurora DTD Parser. Simple PHP standards-compliant DTD parser to extract entities and element declarations.
PHP
4
star
4

soothsilver-initiative

A simple no-fuss initiative tracker for D&D in Xamarin (Android)
C#
3
star
5

age-of-scouts

2D realtime strategy game that takes places on Scout summer camps
C#
3
star
6

ContinuousEffectsSandbox

An application where you can test out interaction of continuous effects in Magic: the Gathering (a.k.a. the layer system)
JavaScript
3
star
7

ContactTracingVideoGame

Contain an outbreak of COVID-19 before it gets out of hand.
C#
2
star
8

megajewel

Bot that plays "Bejeweled 3" really fast.
C#
2
star
9

gsoc-inspector

Repository for the 2016 "Improving JPF Inspector" GSoC project
Java
1
star
10

soothsharp

C# front-end for the Viper verification language
C#
1
star
11

multilanguage-dijkstra-algorithm

Dijsktra's algorithm programmed in multiple programming language. The point of this exercise is to see what programming languages I can code in.
Visual Basic
1
star
12

MarkdownTableOfContentsGenerator

A single-page Javascript app that generates a table of contents from a markdown file.
HTML
1
star
13

bookworm-bot

Plays LetterQuest really fast and really well.
C#
1
star