Stories by gjvc

ninjatracing – convert .ninja_log files to Chrome's about:tracing format

Coz: Causal Profiling

Treap

marimohub – self-hostable marimo notebooks

Fossil – A Coherent Software Configuration Management System

Project management that is fast, privacy-first and flexible, ... powered by Lisp

OpenVMS E9.2-4 now in Field Test

BeOS-R5-Icons

5BSD – Private Compute with Verifiable Integrity

Floci – Local Cloud Emulators

Self – The Structured Executable and Linkable Format

TMOG – task manager for macOS, Windows, and Linux

Tidal Cycles – Live coding music with Algorithmic patterns

The yk meta-tracing system

kkrepo – an open-source artifact repository

Live: NHK WORLD-Japan News (since Mar 10, 2022) [video]

cpp-tui – A lightweight, single-header C++ TUI (Text User Interface) library

Off-the-Record Messaging Protocol

Lean – a proof assistant and a functional programming language

Fast DDS – C++ implementation of DDS standard of the OMG

1 2 3 4 5 6 7 8 9 10