A build system for C that infers dependencies from headers and annotations in the source code.
A library of utility functions for GNU make.
A small GUI system for embedded devices and machines with few resources.
A simple file encryption tool with small keys.
A simple ed25519-based file signing program.
Algebraic data types for C99. Type-safe and implemented using the standard C preprocessor.
A functional programming language layered atop the C99 macro system. Can be used to write macro metaprograms in a somewhat sane way.
Generates self-extracting installers for any platform. Can include a JRE with the installer if required.
A monolithic all-in-one mail server.
Iβm content with Mailcow, but if I werenβt, I would give this a try.
A memory-safe OpenSSL drop-in replacement based on Rustls.
A book on how to stay focused on what you value and avoid the endless distractions that everyday life offers you (including, but not limited to, digital devices). By Nir Eyal, who is also the author of Hooked: How to Build Habit-Forming Products β the flip side of the story.
By Heather Heying and Bret Weinstein, whom you may know from the DarkHorse podcast.
High-level, easy to use cryptography for PHP and JavaScript. Based on Sodium.
Java library of queues, maps, lists, buffers, and a few utilities like clocks and caches with a focus on high performance.
Simple multi-architecture GNU/Linux builder that produces QEMU-bootable root file systems and kernels.
Fully compiled and installable cross compilation toolchains based on musl libc.
An ELF interpreter for GNU/Linux that you can specify in your executables instead of the default (ld-linux.so
) to enable the targeted use of an alternative loader and library set. In contrast to setting LD_LIBRARY_PATH
and calling your desired loader version directly, it does not infect the environment for programs called by your program.
Reminds me of the olden days, where I took my first programming steps with Omikron BASIC on a high-resolution monochrome Atari ST screen.
Related: Verdandi theme for Visual Studio Code.
A functional programming language and theorem prover. By Microsoft Research.
A uniwidth typeface is a typeface where every weight and cut of a given character has the same width. In UIs you can use them to highlight things without affecting the layout β think about making a buttonβs text bold when the mouse cursor hovers over it, for instance.
A LaTeX package for microtypography. (CTAN, usage notes)
Edward Kmettβs playground library of data structures. Wavelet trees, cache-oblivious lookahead arrays, maximally unboxed vectors, bit arrays with a constant-time rank operation.
A Haskell library for generic linear-time sorting and grouping.
Haskell bindings to Dear ImGui, a GUI framework for video games.