Derick Eddington's repositories
nixos-config
My ZFS-on-root mirrored-drives multi-users dotfiles-integrated NixOS configuration, with install and recover guides.
cfg_rust_features
Set cfg options according to Rust compiler, language, and library features.
deep_safe_drop
Safe dropping of deep trees that otherwise could cause stack overflow.
explore_safe_network
Some of my explorations of the SAFE Network.
graph_safe_compare
Equivalence predicate that can handle cyclic, shared, and very-deep graphs.
autocfg
Forked only for testing of the cfg_rust_features crate.
cabna
Old experiment of using assembly to implement a runtime system for a parallel procedure executor.
vifne
An emulator of a novel computer architecture modeled after the Fresh Breeze design.
autocxx
Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
corrector_of_llvm_xray_stack_flame
Corrects the buggy output of `llvm-xray stack --stack-format=flame`.
emacs-modes
Emacs major modes that I made.
logji
Old experiment of creating a language for calculating proofs of theorems.
my-zfs-backup
Simple script and config for backing-up ZFS datasets.
my_bash_history_combiner
Combines a Bash session history with a single history with dups and ignores erased.
nixpkgs
Nix Packages collection
rust
My tweaks for using my rust-analyzer & Emacs setup on the std libs sources.
safe_network
The Safe Network Core. API message definitions, routing and nodes, client core api.
tarmi
Old experiment of using Ada to try implementing something like the Kernel programming language.
uzers-as-users
Library for Unix users and groups in Rust.