Benki โ†’ Bookmarks

โ‡  previous page next page โ‡ข

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.

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 โ‡ข