DerickEddington

Inland Northwest, USA

Pinned Repositories

cfg_rust_features
Set cfg options according to Rust compiler, language, and library features.
Language:Rust3 3 10
deep_safe_drop
Safe dropping of deep trees that otherwise could cause stack overflow.
Language:Rust3 3 00
dotfiles
My user home directory configuration.
Language:Shell2 4 01
explore_safe_network
Some of my explorations of the SAFE Network.
Language:Rust10
graph_safe_compare
Equivalence predicate that can handle cyclic, shared, and very-deep graphs.
Language:Rust1 2 00
kul
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.
Language:Rust13 4 02
my_bash_history_combiner
Combines a Bash session history with a single history with dups and ignores erased.
Language:Rust1 3 00
nixos-config
My ZFS-on-root mirrored-drives multi-users dotfiles-integrated NixOS configuration, with install and recover guides.
Language:Nix4 3 01
sailce
A (very incomplete) exploration of parts of the https://willowprotocol.org
Language:Rust4 3 10
vifne
An emulator of a novel computer architecture modeled after the Fresh Breeze design.
Language:Scheme00

DerickEddington's Repositories

DerickEddington/kul
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.
Language:Rust13 4 02
DerickEddington/nixos-config
My ZFS-on-root mirrored-drives multi-users dotfiles-integrated NixOS configuration, with install and recover guides.
Language:Nix4 3 01
DerickEddington/sailce
A (very incomplete) exploration of parts of the https://willowprotocol.org
Language:Rust4 3 10
DerickEddington/cfg_rust_features
Set cfg options according to Rust compiler, language, and library features.
Language:Rust3 3 10
DerickEddington/deep_safe_drop
Safe dropping of deep trees that otherwise could cause stack overflow.
Language:Rust3 3 00
DerickEddington/dotfiles
My user home directory configuration.
Language:Shell2 4 01
DerickEddington/explore_safe_network
Some of my explorations of the SAFE Network.
Language:Rust10
DerickEddington/graph_safe_compare
Equivalence predicate that can handle cyclic, shared, and very-deep graphs.
Language:Rust1 2 00
DerickEddington/my_bash_history_combiner
Combines a Bash session history with a single history with dups and ignores erased.
Language:Rust1 3 00
DerickEddington/xitomatl
Personal collection of various Scheme (R6RS) libraries.
Language:Scheme1 3 00
DerickEddington/autocfg
Forked only for testing of the cfg_rust_features crate.
Language:Rust00
DerickEddington/cabna
Old experiment of using assembly to implement a runtime system for a parallel procedure executor.
Language:Assembly0 3 00
DerickEddington/vifne
An emulator of a novel computer architecture modeled after the Fresh Breeze design.
Language:Scheme00
DerickEddington/autocxx
Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
Language:Rust
DerickEddington/bench_of_snafu_vs_anyhow
Benchmarks of SNAFU vs Anyhow, including of fat `snafu::Whatever` vs thin `anyhow::Error`.
Language:Rust
DerickEddington/cargo.el
Emacs Minor Mode for Cargo, Rust's Package Manager.
Language:Emacs Lisp3 0
DerickEddington/corrector_of_llvm_xray_stack_flame
Corrects the buggy output of `llvm-xray stack --stack-format=flame`.
Language:Rust3 0
DerickEddington/emacs-modes
Emacs major modes that I made.
Language:Emacs Lisp
DerickEddington/logji
Old experiment of creating a language for calculating proofs of theorems.
Language:Scheme3 0
DerickEddington/my-zfs-backup
Simple script and config for backing-up ZFS datasets.
Language:Shell2 0
DerickEddington/nixpkgs
Nix Packages collection
Language:Nix
DerickEddington/psas
Old experiment of making a system for persistent address spaces for machine-code programs.
Language:Assembly3 0
DerickEddington/rust
My tweaks for using my rust-analyzer & Emacs setup on the std libs sources.
Language:Rust1 0
DerickEddington/safe_network
The Safe Network Core. API message definitions, routing and nodes, client core api.
DerickEddington/snafu
Easily assign underlying errors into domain-specific errors while adding context
DerickEddington/srfi
Scheme Requests for Implementation as R6RS libraries.
Language:Scheme3 0
DerickEddington/tarmi
Old experiment of using Ada to try implementing something like the Kernel programming language.
Language:Ada3 0
DerickEddington/uzers-as-users
Library for Unix users and groups in Rust.
Language:Rust2 0