Obfuscate Go builds

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

Press "C-x C-e" to send any piece of code (in any language) to a REPL in the background, within Emacs!

Program Emacs in Python instead of ELisp (i.e. write dynamic modules for Emacs in Python)

Compiler for the C3 language

Activities for Emacs (suspend and resume activities, i.e. frames/tabs and their windows, buffers)

User-friendly OAuth2 CLI

Kubernetes, Emacs, done!

An open source quadruped robot pet framework for developing Boston Dynamics-style four-legged robots that are perfect for STEM, coding & robotics education, IoT robotics applications, AI-enhanced r…

Emacs sqlite-mode extras

Small TUI for introspecting the state of the system/session dbus

FUSE/NBD single file backing store via Amazon S3

Retrieve machine state information about CPU time, memory usage, etc.

Basic Go server for mbtiles

Detect file content types with deep learning

My personal NixOS config

A setf like macro for functional programming

Fast and minimalist 3D viewer.

My emacs config (as a nix flake)

Save and restore frames and windows with their buffers in Emacs

PLDB: a Programming Language DataBase

Conveniently and reasonably harden NixOS.

QUIC connections natively over Yggdrasil

Yggdrasil + Netstack (instead of TUN)

Remote Shell for MicroPython

Specifications and documented collateral from the Yggdrasil project

An experiment in scalable routing as an encrypted IPv6 overlay network

KiCad plugin for automatic keyboard's key placement and routing

Simple telnet server for MicroPython and the ESP8266 allowing telnet clients access to the REPL