-
tfiedor.github.io Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
HTML MIT License UpdatedFeb 4, 2025 -
-
automata-safa Public
Forked from jurajsic/automata-safasymbolic alternating finite automata transformation library
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 27, 2023 -
mata Public
Forked from VeriFIT/mataA new automata library
C++ GNU General Public License v3.0 UpdatedAug 31, 2022 -
-
perun-external-generators Public
Repository for external files that generates workloads for performance profiling
1 UpdatedSep 18, 2020 -
-
-
-
-
gaston Public
Novel decision procedure for WS1S logic
-
bkit Public
bkit is a simple Backup Control System inspired by GIT (January pet project).
{{ message }}