pierreganty

QuAK

Quantitative Automata Kit

imgcomp

Motion triggered timelapses for security camera

foliate

Read e-books in style

regexpanalyser

Lattice valued regular expressions and an example analysis

DeTikZify

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

svg-gobbler

Open source browser extension for finding, editing, exporting, optimizing, and managing SVG content.

iTerm2

iTerm2 is a terminal emulator for Mac OS X that does amazing things.

N64Recomp

Tool to statically recompile N64 games into native executables

ipe-animate-views

Ipelet to generate an animated GIF from IPE views

ipe-lassotool

Ipelet implementing a lasso selection tool for the Ipe editor

ipe-copytools

Tools to create different patterns in Ipe

logicola

LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.

rebar

A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.

excalidraw

Virtual whiteboard for sketching hand-drawn like diagrams

jsonsubschema

Tool for checking whether a JSON schema is a subschema of another JSON schema.

tla-web

Interactive, web-based environment for exploring TLA+ specifications.

amaya

IL

Description of Model Checking Intermediate Language

Phenesthe

'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.

PSChess

A Chess Engine in PostScript

sat-css-tool

Minify CSS files through refactoring

sailtrack

Performance Tracker for Racing Sailboats

hoaf

Hanoi Omega-Automata Format

Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

fcsl-pcm

Partial Commutative Monoids

htt

Hoare Type Theory

cube-composer

A puzzle game inspired by functional programming

HyperQB

The Bounded Model Checker HyperQB

LaTeXML

LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.

automata-benchmarks-from-hyperproperties