Tools and Software I have written. An incomplete listing with descriptions and sub-pages for more details.

GNU Guix and GuixSD - I'm involved in Guix since late 2015, contributing to almost every aspect of development. Through my work which lead to infotropique's plant and more, I have learned a great deal about Guix and GuixSD and learned to like it (I use a GuixSD-like system daily). Guix is written as a Guile library. On the technical side it extends and implements what NixOS and Nix pioneered with purely functional Operating Systems and package management (or better: implemented what is described in "Eelco Dolstra. The Purely Functional Software Deployment Model. PhD thesis, Faculty of Science, Utrecht, The Netherlands. January 2006. ISBN 90-393-4130-3.", the concept alone predates Nix). In addition to standard package management features, Guix supports transactional upgrades and roll-backs, unprivileged package management, per-user profiles, and more. The best part is, it runs not only on GuixSD but also on many other Operating Systems.

pkgsrc - Contributions and package maintenance in pkgsrc-wip.

gnunet - GNUnet is a new network protocol stack for building secure, distributed, and privacy-preserving applications. With strong roots in academic research, our goal is to replace the old insecure Internet protocol stack. GNUnet is typically run as an overlay network on top of the the existing Internet infrastructure forming the basis of a hybrid peer-to-peer mesh and relay backbone for applications to run on. It could just as well be run independently of the Internet, over dedicated radio and cable. GNUnet is made for an open society: It's a self-organizing network and it's free software as in freedom. GNUnet puts you in control of your data. You determine which data to share with whom, and you're not pressured to accept compromises.
My work on GNUnet at the moment includes mostly Build-system related work, writing the documentation as well as other system-integration work. Other parts of my involvement are intersections between Guix and GNUnet, work towards a new public look and appearance of gnunet (website, etc), and more.

gnurl - As part of my work on gnunet I maintain gnurl, a feature restricted build of curl. gnurl can be found in some Operating Systems, and it is available for all platforms Guix supports. Known users of it are gnunet, and software which makes use of gnunet (for example GNU Taler).

Research / Early stages

plant - Is a project I maintain, develop, and design as a continuation and experimentation with ideas based on Guix and GuixSD. It is developed within infotropique as part of an developer exploration into (among other things) full system integration of gnunet.

infotropique OS/core - is developed side by side with plant as an implementation of a plant-based Operating System. infotropique OS/core is a Free, Unix-like purely functional operating system mostly written in Scheme (specifically: Guile), with a focus on modularity, security, and meshnetworking support. It is being written with gnunet first in mind. Major features of plant are being developed with this goal. infotropique OS/core in its current generation provides systems based on Linux as a kernel as well as "Linux-libre" (a blob-free variant), with other kernels to follow in later generations. infotropique OS/core takes inspiration from NixOS and GuixSD (its base, plant, originated in Guix), as well as various other operating systems. More on this can soon be found on the dedicated website.