Block or report user

Organizations

@VeriFIT

Pinned repositories

  1. libvata

    VATA Tree Automata Library

    Roff 13 6

  2. appreal

    APProximate REduction of Automata and Languages

    C 3

  3. automata-benchmarks

    A repository with benchmarks for automata

    Prolog

  4. dWiNA

    Forked from tfiedor/dWiNA

    Implementation of decision procedure for WSkS logic

    C++

  5. gaston

    Forked from tfiedor/gaston

    Novel decision procedure for WS1S logic

    C++

  6. libvata2

    An attempt to revamp VATA

    C++

367 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

October 2017

Seeing something unexpected? Take a look at the GitHub profile guide.