wimmers

munta

Fully verified model checker for realtime systems

food-logger

food-logger-backend

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

timeliner

Timeline Puzzle Game

destinator

pensieve

Explore and organize your thoughts like Dumbledore

push-tasks

Push tasks to competitions.isabelle.systems

ts-re-compiler

isabelle-finite

Eisbach proof method for finiteness of sets

isabelle-jedit-macros

A collection of macros for Isabelle/jEdit

munta-frontend

admin

Administrative documentation & tracker for Isabelle CI infrastructure

destinat-r

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

isabelle_conventions

joplin

Joplin - an open source note taking and to-do application with synchronisation capabilities for Windows, macOS, Linux, Android and iOS.

logsaver

Automatically save the output of a shell command to a file.

mini-react

munta-games

An extension of [Munta](https://github.com/wimmers/munta) towards timed games.

munta_jani

NREST

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

symta

Symbolic Model Checking for Timed Automata

turing-machine-viz

Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️