ondrik

libvata

VATA Tree Automata Library

automata-benchmarks

A repository with benchmarks for automata

forester

Tool for Verification of Programs with Pointers

libvata2

An attempt to revamp VATA

dgml2dot

Converter of automata from MS DGML format do Dot

iny-fix

Fix of the algorithm for computing simulations in Ilie, Navarro, Yu: On NFA Reductions. Theory Is Forever 2004: 112-124

ondrik.github.io

My web page

pycobench

A small framework for running benchmarks

stocker

A Django web application for tracking stocks

dWiNA

Implementation of decision procedure for WSkS logic

gaston

Novel decision procedure for WS1S logic

artmc-nondet

An archive OCaml version of abstract regular tree model checking (ARTMC)

AutoQ

ba-inclusion

caqe

CAQE is a solver for quantified Boolean formulas

cnt-mata-bench

Benchmark for counting automata

gaston-haskell

labacan

lia-automata

MONA

MONA - a decision procedure for monadic second-order logic on finite strings and trees

pcap_generator

Makes a PCAP file with a TCP stream obtained from a file

re2g

A grep-alike built on re2

slo-oracles

tcs

Lecture notes on introduction to theoretical computer science