Pinned Repositories
age-of-scouts
2D realtime strategy game that takes places on Scout summer camps
bookworm-bot
Plays LetterQuest really fast and really well.
ContactTracingVideoGame
Contain an outbreak of COVID-19 before it gets out of hand.
ContinuousEffectsSandbox
An application where you can test out interaction of continuous effects in Magic: the Gathering (a.k.a. the layer system)
dtd-parser
Aurora DTD Parser. Simple PHP standards-compliant DTD parser to extract entities and element declarations.
gsoc-inspector
Repository for the 2016 "Improving JPF Inspector" GSoC project
megajewel
Bot that plays "Bejeweled 3" really fast.
mtg-grammar
ANTLR4 grammar for all Magic: the Gathering cards in Guilds of Ravnica
snowride
A faster Robot Framework IDE
soothsilver-initiative
A simple no-fuss initiative tracker for D&D in Xamarin (Android)
Soothsilver's Repositories
Soothsilver/dtd-parser
Aurora DTD Parser. Simple PHP standards-compliant DTD parser to extract entities and element declarations.
Soothsilver/gsoc-inspector
Repository for the 2016 "Improving JPF Inspector" GSoC project
Soothsilver/MarkdownTableOfContentsGenerator
A single-page Javascript app that generates a table of contents from a markdown file.
Soothsilver/auxiliary
Auxiliary 2D library for XNA. Feel free to ask me for help using it, if necessary.
Soothsilver/CodeContracts
Source code for the CodeContracts tools for .NET
Soothsilver/compilation
A compiler for a Java-like language
Soothsilver/denik
An Android personal diary app.
Soothsilver/flutter
Fluttershy's Hearthswarming Adventure
Soothsilver/key-promoter
Automatically exported from code.google.com/p/key-promoter
Soothsilver/lesswrong-cz
Source of website lesswrong.cz
Soothsilver/oracion-online
Play the Czech card game, Oracion, over the internet
Soothsilver/xmlcheck
xmlcheck
Soothsilver/xmlcheck-javaplugins
This project contains the DOM/SAX plugin and the XQuery plugin for the course XML Technologies in the Xmlcheck system.
Soothsilver/xmlcheck-public
Public version of the XML Check assignment manager project.