tfiedor

Wannabe developer/scientist trapped in sea lion body.

Oracle LabsThe Mighty Sea

Pinned Repositories

logki
Logki is a prompt application for analysis of logs mainly resulting from performance profilers.
Language:Python0 1 00
perun
Lightweight Performance Control System
Language:C18 2 8214
automata-safa
symbolic alternating finite automata transformation library
Language:Haskell0 1 00
bkit
bkit is a simple Backup Control System inspired by GIT (January pet project).
Language:Python1 2 00
complexity-repo
Just an example repository for perun.
Language:C++0 3 01
dWiNA
Implementation of decision procedure for WS1S logic
Language:C++1 2 12
gaston
Novel decision procedure for WS1S logic
Language:C++2 2 22
mata
A new automata library
Language:C++0 1 00
memory-repo
Example memory repository for perun.
Language:C0 2 00
mata
A fast and simple automata library
Language:Stata24 3 17717

tfiedor's Repositories

tfiedor/gaston
Novel decision procedure for WS1S logic
Language:C++2 2 22
tfiedor/bkit
bkit is a simple Backup Control System inspired by GIT (January pet project).
Language:Python1 2 00
tfiedor/dWiNA
Implementation of decision procedure for WS1S logic
Language:C++1 2 12
tfiedor/automata-safa
symbolic alternating finite automata transformation library
Language:Haskell0 1 00
tfiedor/complexity-repo
Just an example repository for perun.
Language:C++0 3 01
tfiedor/mata
A new automata library
Language:C++0 1 00
tfiedor/memory-repo
Example memory repository for perun.
Language:C0 2 00
tfiedor/perun-external-generators
Repository for external files that generates workloads for performance profiling
0 2 01
tfiedor/perun-showcase-adt
Language:C++0 2 00
tfiedor/perun-showcase-sorts
Language:C++0 2 00
tfiedor/tfiedor.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:HTML1 0
tfiedor/winlion-config
Language:Shell2 0