Working at Red Hat on virtualization and kata-containers. Interested in virtualization, 3D, compilers and language design.
xl. A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
285db48x. RPL runtime for the DM42 calculator, in the spirit of HP48/49/50
285tao3D. The Art of 3D, a new language for dynamic document description of real-time 3D animations
178elfe. Extensible Language for Everyday
93build. A simple makefile-based build system that I split from ELFE / XL
78recorder. A lock-free real-time flight recorder for your C or C++ programs
36make-it-quick. A simple auto-configuring make-only build system
29unsubsquirrel. An absolute necessity for the sophisticated mailing list user
25db48x-from-newrpl. An HP48 rebuild for modern calculators
19freedom-covenant. A covenant for individuals who want to defend freedom
17DB51X. The portable version of DB48X for non-SwissMicros platforms.
6spice. Top-level repository for SPICE components
4xl-c. A re-implementation of the XL programming language in straight C
4presentations. A repository for the Tao3D source code of my presentations
3tao-help-viewer. The Tao3D help viewer, derived from QtHelp
2slicinggpus-presentation. Presentation about slicing GPUs virtually for DevConf.cz
2emacs-setup. My personal emacs setup
2tao-film-strip. A Tao3D module showing an animated film strip
2workload. A very simple workload that consumes a configurable amount of CPU / memory
2spice-streaming-agent. C++
2tao-snowfall. A Tao3D module that makes snow fall on the screen background
2x11spice. X11 spice server
2tao-mapping. A Tao3D module for advanced texture mapping
1tao-filters. A Tao3D module providing a number of simple image filters
1tao-materials. A Tao3D module to generate procedural materials
1coco-pattern. Python
1confidential-containers. Confidential Containers Community
1DMCP5_SDK. C
1tao-shaders. A Tao3D module offering a number of simple shader-based effects
1HPDS. HPDS 3.0 was a cross-development system for HP48SX
1tao-point-clouds. A Tao3D module to quickly display point clouds
1spice-server. SPICE as is the Simple Protocol for Independent Computing Environments
1tao-vlc-audio-video. A Tao3D module using VLC to read movie and sound files
1tao-chroma-key. A Chroma Key (green screen removal) module for Tao3D
1tao-pan-and-zoom. A Tao3D module to create Pan-And-Zoom presentations
1tao-nodejs. A Tao3D module to use NodeJS from a Tao program
1tao-webui. The Web-based user interface for Tao3D
1tao-shading. A Tao3D module providing shading effects (Gooch Shading, Cel Shading)
1mbuto. Minimal Builder Using Terse Options
1hello-world. Hello world in every programming language. If I can't automatically merge your changes on github, I'm not merging them :)
1tao-water-surface. A Tao3D module to draw a dynamic water surface
1tao-web-remote. A Tao3D module using NodeJS to provide a web-based preview and remote control of a screen
1tao-visuals. A Tao3D module defining common Tao visual elements used in several demos
1tao-digital-clock. A Tao3D module showing a digital clock
1sevctl. Administrative utility for AMD SEV
1LookingGlass. An extremely low latency KVMFR (KVM FrameRelay) implementation for guests with VGA PCI Passthrough.
1kata-performance-measurements. Some memory usage performance measurements done on Kata Containers
1alpha_waves_loader. Assembly
1