DerickEddington

Derick Eddington's repositories

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:RustUnlicense13 40

nixos-config

My ZFS-on-root mirrored-drives multi-users dotfiles-integrated NixOS configuration, with install and recover guides.

Language:NixUnlicense4 30

sailce

A (very incomplete) exploration of parts of the https://willowprotocol.org

Language:RustUnlicense4 3 1

cfg_rust_features

Set cfg options according to Rust compiler, language, and library features.

Language:RustUnlicense300

deep_safe_drop

Safe dropping of deep trees that otherwise could cause stack overflow.

Language:RustUnlicense300

dotfiles

My user home directory configuration.

Language:ShellUnlicense2 40

explore_safe_network

Some of my explorations of the SAFE Network.

Language:Rust100

graph_safe_compare

Equivalence predicate that can handle cyclic, shared, and very-deep graphs.

Language:RustUnlicense1 20

my_bash_history_combiner

Combines a Bash session history with a single history with dups and ignores erased.

Language:RustUnlicense100

xitomatl

Personal collection of various Scheme (R6RS) libraries.

Language:SchemeNOASSERTION1 30

autocfg

Forked only for testing of the cfg_rust_features crate.

Language:RustApache-2.0000

cabna

Old experiment of using assembly to implement a runtime system for a parallel procedure executor.

Language:AssemblyUnlicense000

vifne

An emulator of a novel computer architecture modeled after the Fresh Breeze design.

Language:SchemeNOASSERTION000

autocxx

Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers

Language:RustApache-2.0000

bench_of_snafu_vs_anyhow

Benchmarks of SNAFU vs Anyhow, including of fat `snafu::Whatever` vs thin `anyhow::Error`.

Language:RustUnlicense000

cargo.el

Emacs Minor Mode for Cargo, Rust's Package Manager.

Language:Emacs LispGPL-3.0030

corrector_of_llvm_xray_stack_flame

Corrects the buggy output of `llvm-xray stack --stack-format=flame`.

Language:RustUnlicense000

emacs-modes

Emacs major modes that I made.

Language:Emacs LispNOASSERTION000

logji

Old experiment of creating a language for calculating proofs of theorems.

Language:SchemeUnlicense000

my-zfs-backup

Simple script and config for backing-up ZFS datasets.

Language:ShellUnlicense020

nixpkgs

Nix Packages collection

Language:NixMIT000

psas

Old experiment of making a system for persistent address spaces for machine-code programs.

Language:AssemblyUnlicense030

rust

My tweaks for using my rust-analyzer & Emacs setup on the std libs sources.

Language:RustNOASSERTION010

safe_network

The Safe Network Core. API message definitions, routing and nodes, client core api.

NOASSERTION000

snafu

Easily assign underlying errors into domain-specific errors while adding context

Apache-2.0000

srfi

Scheme Requests for Implementation as R6RS libraries.

Language:SchemeNOASSERTION030

tarmi

Old experiment of using Ada to try implementing something like the Kernel programming language.

Language:AdaUnlicense000

uzers-as-users

Library for Unix users and groups in Rust.

Language:RustMIT000