~ehmry/preserves-nim

Nim implementation of the Preserves data language

~ehmry/mirage-eris-store

~ehmry/blobsets

Simple object store

~ehmry/hottext

Rapid Serial Visual Presenter

~ehmry/dhall-atom

Atom Syndication Format in Dhall

~ehmry/NO_SUDO_FOR_YOU

opinionated sudo reimplementation

~ehmry/shaviliterator

𐑤𐑨𐑑𐑦𐑯 𐑑 𐑖𐑱𐑝𐑾𐑯 𐑑𐑮𐑨𐑯𐑟𐑤𐑦𐑑𐑼𐑱𐑑𐑼

~ehmry/eris_utils

Utilities for the Encoding for Robust Immutable Storage (ERIS)

~ehmry/dhall-sigil

Dhall expressions for building Sigil OS configurations

~ehmry/sigil

Aborted Genode/Nix distribution

~ehmry/device_manager

Sigil driver manager

~ehmry/genode

Fork of the Genode Operating System Framework

~ehmry/genode-nix

Nix port to Genode

~ehmry/NIX-DOS

trivial experiment in DOS packaging

~ehmry/upload_bot

A Tox bot for uploading files