Simon Wimmer's repositories
archive-of-graph-formalizations
This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.
poly-reductions
Polynomial-time reductions in Isabelle/HOL
push-tasks
Push tasks to competitions.isabelle.systems
isabelle-finite
Eisbach proof method for finiteness of sets
isabelle-jedit-macros
A collection of macros for Isabelle/jEdit
explore-subgoal
Adds an "explore_subgoal" command to Mathias Fleury's Explorer.thy
Hidden_Markov_Models
Hidden Markov Models in Isabelle/HOL
isabelle-experiments
Miscellaneous Isabelle/HOL experiments and snippets
joplin
Joplin - an open source note taking and to-do application with synchronisation capabilities for Windows, macOS, Linux, Android and iOS.
munta-games
An extension of [Munta](https://github.com/wimmers/munta) towards timed games.
proofground2021-solutions
Contributed solutions for the Proof Ground 2021 competition
react-native-swipe-gestures
4-directional swipe gestures for react-native
SuperDirt
Tidal Audio Engine
turing-machine-viz
Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️