Gridfinity Extended OpenSCAD Model

Alternative firmware for ESP8266 and ESP32 based devices with easy configuration using webUI, OTA updates, automation using timers or rules, expandability and entirely local control over MQTT, HTTP…

An experimental project to bring MLIR to P4C.

P4_16 reference compiler

A simple dummy extension for P4C.

P4_16 reference compiler

This is the public repository of my Ph.D. thesis.

A static reflection framework for C++, using libclang.

Super-parallel Python port of the C-Reduce

P4 on Raspberry Pi for Networking Education

Tool for the step-by-step evaluation of basic Haskell expressions.

Syntax highlighter for p4 language in Sublime Text 2/3

Distributed Metamorphic Robots

Bloaty: a size profiler for binaries

My personal monorepo: dotfiles, /etc-files, single-file scripts, vim plugins, webexts/userscripts, xmonad config, all that stuff…

Open and inexpensive DIY IP-KVM based on Raspberry Pi

Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

The Herd toolsuite to deal with .cat memory models (version 7.xx)

A verification tool for many memory models

Webstránka veřejných infografik o změně klimatu světa

Userstyle for Information System of Masaryk University Brno.

C++20 features described in Before/After tables ("Tony Tables")

fastcgi++: A C++ FastCGI and Web development platform:

Fusion -> FabLab Brno laser cutter toolchain

Compile Time Regular Expression in C++

Espressif IoT Development Framework. Official development framework for Espressif SoCs.