Pinned Repositories
advent-of-tin-25
Advent of TIN 2025
automata-benchmarks
A repository with benchmarks for automata
dgml2dot
Converter of automata from MS DGML format do Dot
dWiNA
Implementation of decision procedure for WSkS logic
forester
Tool for Verification of Programs with Pointers
gaston
Novel decision procedure for WS1S logic
libvata
VATA Tree Automata Library
libvata2
An attempt to revamp VATA
ondrik.github.io
My web page
ondrik's Repositories
ondrik/libvata
VATA Tree Automata Library
ondrik/automata-benchmarks
A repository with benchmarks for automata
ondrik/advent-of-tin-25
Advent of TIN 2025
ondrik/forester
Tool for Verification of Programs with Pointers
ondrik/libvata2
An attempt to revamp VATA
ondrik/dgml2dot
Converter of automata from MS DGML format do Dot
ondrik/iny-fix
Fix of the algorithm for computing simulations in Ilie, Navarro, Yu: On NFA Reductions. Theory Is Forever 2004: 112-124
ondrik/ondrik.github.io
My web page
ondrik/pycobench
A small framework for running benchmarks
ondrik/stocker
A Django web application for tracking stocks
ondrik/dWiNA
Implementation of decision procedure for WSkS logic
ondrik/gaston
Novel decision procedure for WS1S logic
ondrik/artmc-nondet
An archive OCaml version of abstract regular tree model checking (ARTMC)
ondrik/automata-porn
Beautiful seductive pictures of automata
ondrik/AutoQ
ondrik/ba-inclusion
ondrik/caqe
CAQE is a solver for quantified Boolean formulas
ondrik/cnt-mata-bench
Benchmark for counting automata
ondrik/gaston-haskell
ondrik/labacan
ondrik/lia-automata
ondrik/MONA
MONA - a decision procedure for monadic second-order logic on finite strings and trees
ondrik/pcap_generator
Makes a PCAP file with a TCP stream obtained from a file
ondrik/re2g
A grep-alike built on re2
ondrik/slo-oracles
ondrik/smt-comp.github.io
ondrik/tcs
Lecture notes on introduction to theoretical computer science