Pinned 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.
food-logger
food-logger-backend
isabelle-finite
Eisbach proof method for finiteness of sets
isabelle-jedit-macros
A collection of macros for Isabelle/jEdit
munta
Fully verified model checker for realtime systems
munta-frontend
poly-reductions
Polynomial-time reductions in Isabelle/HOL
pratt
A formalization of Pratt's Prime Number Certificates in Isabelle
UnicodeToLatex
Converts Unicode Characters to Latex Symbols
wimmers's Repositories
wimmers/munta
Fully verified model checker for realtime systems
wimmers/food-logger
wimmers/food-logger-backend
wimmers/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.
wimmers/poly-reductions
Polynomial-time reductions in Isabelle/HOL
wimmers/timeliner
Timeline Puzzle Game
wimmers/destinator
wimmers/pensieve
Explore and organize your thoughts like Dumbledore
wimmers/push-tasks
Push tasks to competitions.isabelle.systems
wimmers/ts-re-compiler
wimmers/isabelle-finite
Eisbach proof method for finiteness of sets
wimmers/isabelle-jedit-macros
A collection of macros for Isabelle/jEdit
wimmers/munta-frontend
wimmers/admin
Administrative documentation & tracker for Isabelle CI infrastructure
wimmers/destinat-r
wimmers/explore-subgoal
Adds an "explore_subgoal" command to Mathias Fleury's Explorer.thy
wimmers/Hidden_Markov_Models
Hidden Markov Models in Isabelle/HOL
wimmers/isabelle-experiments
Miscellaneous Isabelle/HOL experiments and snippets
wimmers/isabelle_conventions
wimmers/joplin
Joplin - an open source note taking and to-do application with synchronisation capabilities for Windows, macOS, Linux, Android and iOS.
wimmers/logsaver
Automatically save the output of a shell command to a file.
wimmers/mini-react
wimmers/munta-games
An extension of [Munta](https://github.com/wimmers/munta) towards timed games.
wimmers/munta_jani
wimmers/NREST
wimmers/proofground2021-solutions
Contributed solutions for the Proof Ground 2021 competition
wimmers/react-native-swipe-gestures
4-directional swipe gestures for react-native
wimmers/SuperDirt
Tidal Audio Engine
wimmers/symta
Symbolic Model Checking for Timed Automata
wimmers/turing-machine-viz
Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️