MichalKnapik

Michał Knapik's repositories

Linux Kernel Programming, published by Packt

MIT000

Language:JavaMIT200

Language:CMIT200

As a refresher in pureish C I've decided to implement a compiler, following Douglas Thain's course.

Language:C100

A collection of small C programs that I like.

Language:CMIT000

Language:PythonMIT100

Language:OCamlMIT000

Generator of no-plans for a monotone object planning domain.

Language:Python000

RouterOS scripts.

Language:Rascal000

Parametric synthesis tool for a branching action temporal logic.

Language:C300

Parametric Timed Automata SMT checker.

Language:C++300

Takes a .bib bibTeX file and produces html output

Language:Python100