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:NixUnlicense8 2 1

sailce

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

Language:RustUnlicense5 3 1

deep_safe_drop

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

Language:RustUnlicense4 30

dotfiles

My unique home-directory setup which can deploy itself to other hosts.

Language:ShellUnlicense4 30

cfg_rust_features

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

Language:RustUnlicense3 3 1

async_as_symmetric_coroutines

Helpers to use `async` code as symmetric coroutines in stable Rust.

Language:Rust2 10

explore_safe_network

Some of my explorations of the SAFE Network.

Language:Rust1 30

graph_safe_compare

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

Language:RustUnlicense1 30

my_bash_history_combiner

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

Language:RustUnlicense1 30

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.0020

sem_safe

Safe usage of POSIX Semaphores (`sem_post`, `sem_wait`, etc).

Language:RustUnlicense010

signals_receipts

Simple exfiltration of the receipt of POSIX signals.

Language:Rust010

vifne

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

Language:SchemeNOASSERTION030

autocxx

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

Language:RustApache-2.0020

bench_of_snafu_vs_anyhow

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

Language:RustUnlicense010

corrector_of_llvm_xray_stack_flame

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

Language:RustUnlicense030

emacs-modes

Emacs major modes that I made.

Language:Emacs LispNOASSERTION020

lexpr-rs

Rust Lisp expression parser and serializer

Language:RustApache-2.0000

logji

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

Language:SchemeUnlicense020

my-zfs-backup

Simple script and config for backing-up ZFS datasets.

Language:ShellUnlicense020

nixpkgs

Nix Packages collection

Language:NixMIT020

noctty

Relinquish the controlling terminal. Useful to have not-yet-used terminal windows.

Language:C010

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.

Language:RustNOASSERTION020

snafu

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

Language:RustApache-2.0000

srfi

Scheme Requests for Implementation as R6RS libraries.

Language:SchemeNOASSERTION030

uzers-as-users

Library for Unix users and groups in Rust.

Language:RustMIT020