- Qi - A flow-oriented domain-specific language for tacit programming that feels like threading macro on steroids and more. I focus on optimizing compiler mainly using the deforestation (stream fusion) techniques.
- Racket -
A programming language for language-oriented programming. As I use it
for most of my work, I try to improve it when I have the opportunity.
- Scribble - A Racket documentation tool built on top of Racket itself. Some small improvements I made were found to be useful.
- ChezScheme - The most performant Scheme compiler which is used as basis for implementing Racket CS variant - the default since version 8.0. I implemented full support for unified mouse handling in terminals using VT sequences. Now it can be used even on the Windows Console.
- All my Packages I have contributed over the years.
- uni-table - an easy to use table renderer for UTF-8 terminals supporting ECMA-48 (ANSI) rendering.
- ebb - a threading macro drop-in replacement with optional optimizing compiler for sequences of list operations using deforestation (stream fusion).
- vlibench - a library for measuring the running times of given procedure(s) for successively increasing input sizes and performing elementary statistical analysis on the resulting series.
- tui-term - a package for low-level terminal access on all major desktop operating systems.
- tui-ubuf - a package providing all the universal text buffer capabilities needed for both batch processing and interactive terminal application output for which typically some type of curses library would be used.
- BibTeX-lang - a language allowing programmatic access to BibTeX files akin to how Scribble documents can be used with simple queries to the bibliography database and REPL support.
- Crypt4GH Processing - a Python library for writing, reading and processing Crypt4GH containers as streams with support for various types of private key storage including YubiKey support through GnuPG.
- Ledum Definers - a toolkit for declaratively specifying Instruction Set Architectures alongside the behavioral description which produces working assembler, disassembler and instruction emulator.
- uxn.sh - a pure POSIX.1 Shell implementation of the minimal UXN/Varvara virtual machine specification.
- Racket-style keyword arguments for CHICKEN - as the name suggests, this package allows for using Racket-style keyword arguments in arbitrary CHICKEN programs.
Dominik Pantůček
🌍︎ Prague, Czech Republic
🖂 Email