Student PL Meetup web.

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

Custom dynamic programming language

Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Please post prob…

Multi functional app to find duplicates, empty folders, similar images etc.

Mirror of ConTeXt beta source code

A vendor- and implementation-independent specification-derived, machine-readable model of PDF.

A port of TeX82 to Rust. (WIP)

A port of METAFONT84 to Rust. (WIP)

Macros for student's theses at CTU in Prague, using OpTeX

TeX-related stuff

A portable C FFI for Lua 5.1+

[mirror] A non-monolithic Wayland compositor

Easy and efficient encrypted backups.

yofi is a minimalistic menu for wayland

A Gentoo Portage configuration for building with -O3, Graphite, and LTO optimizations

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

Simple and lightweight source-based multi-platform Linux distribution with musl libc.

Simple Linux build, bootable under qemu for multiple architectures.

A light-weight Flutter Engine Embedder for Linux Embedded that runs without X11 or Wayland.

Perhaps the smallest useful terminal multiplexer in the world.

Lua module preloading system for LuaTeX engines

mold: A Modern Linker 🦠

A collection of LPEG patterns

Minimal texmf tree for a working LuaTeX installation

Tiny initramfs written in POSIX shell

A simple terminal emulator

a small statically-linked linux system

C89 expressions parsed with the shunting yard algorithm in Python