Derick Eddington's Projects
Helpers to use `async` code as symmetric coroutines in stable Rust.
Forked only for testing of the cfg_rust_features crate.
Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
Benchmarks of SNAFU vs Anyhow, including of fat `snafu::Whatever` vs thin `anyhow::Error`.
Old experiment of using assembly to implement a runtime system for a parallel procedure executor.
Emacs Minor Mode for Cargo, Rust's Package Manager.
Set cfg options according to Rust compiler, language, and library features.
Corrects the buggy output of `llvm-xray stack --stack-format=flame`.
Safe dropping of deep trees that otherwise could cause stack overflow.
My user home directory configuration.
Emacs major modes that I made.
Some of my explorations of the SAFE Network.
Equivalence predicate that can handle cyclic, shared, and very-deep graphs.
A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexical syntax and semantics, and a Rust library for parsing it.
Rust Lisp expression parser and serializer
Old experiment of creating a language for calculating proofs of theorems.
Simple script and config for backing-up ZFS datasets.
Combines a Bash session history with a single history with dups and ignores erased.
My ZFS-on-root mirrored-drives multi-users dotfiles-integrated NixOS configuration, with install and recover guides.
Nix Packages collection
Old experiment of making a system for persistent address spaces for machine-code programs.
My tweaks for using my rust-analyzer & Emacs setup on the std libs sources.
The Safe Network Core. API message definitions, routing and nodes, client core api.
A (very incomplete) exploration of parts of the https://willowprotocol.org
Safe usage of POSIX Semaphores (`sem_post`, `sem_wait`, etc).
Simple exfiltration of the receipt of POSIX signals.
Easily assign underlying errors into domain-specific errors while adding context
Scheme Requests for Implementation as R6RS libraries.
Old experiment of using Ada to try implementing something like the Kernel programming language.
Library for Unix users and groups in Rust.