Pinned Repositories
automata-net-reduction-tool
bibtex2html
Takes a .bib bibTeX file and produces html output
BMinor-compiler
As a refresher in pureish C I've decided to implement a compiler, following Douglas Thain's course.
dd-net-checker
general-automata-net-reduction-tool
Linux-Kernel-Programming
Linux Kernel Programming, published by Packt
Mikrotik
RouterOS scripts.
nand2tetris-ocaml-assembler
PTA2SMT
Parametric Timed Automata SMT checker.
spatula
Parametric synthesis tool for a branching action temporal logic.
MichalKnapik's Repositories
MichalKnapik/PTA2SMT
Parametric Timed Automata SMT checker.
MichalKnapik/spatula
Parametric synthesis tool for a branching action temporal logic.
MichalKnapik/automata-net-reduction-tool
MichalKnapik/general-automata-net-reduction-tool
MichalKnapik/bibtex2html
Takes a .bib bibTeX file and produces html output
MichalKnapik/BMinor-compiler
As a refresher in pureish C I've decided to implement a compiler, following Douglas Thain's course.
MichalKnapik/dd-net-checker
MichalKnapik/Linux-Kernel-Programming
Linux Kernel Programming, published by Packt
MichalKnapik/Mikrotik
RouterOS scripts.
MichalKnapik/nand2tetris-ocaml-assembler
MichalKnapik/Small-C-progs
A collection of small C programs that I like.
MichalKnapik/SpaceCut
Generator of no-plans for a monotone object planning domain.