Benki β†’ All Posts

β‡  previous page next page β‡’

A build system for C that infers dependencies from headers and annotations in the source code.

A functional programming language layered atop the C99 macro system. Can be used to write macro metaprograms in a somewhat sane way.

A monolithic all-in-one mail server.

I’m content with Mailcow, but if I weren’t, I would give this a try.

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.

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.

β‡  previous page next page β‡’