Derick Eddington (DerickEddington)

DerickEddington

Geek Repo

Location:Inland Northwest, USA

Github PK Tool:Github PK Tool

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:RustLicense:UnlicenseStargazers:13Issues:4Issues:0

nixos-config

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

Language:NixLicense:UnlicenseStargazers:4Issues:3Issues:0

sailce

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

Language:RustLicense:UnlicenseStargazers:4Issues:3Issues:1

cfg_rust_features

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

Language:RustLicense:UnlicenseStargazers:3Issues:0Issues:0

deep_safe_drop

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

Language:RustLicense:UnlicenseStargazers:3Issues:0Issues:0

dotfiles

My user home directory configuration.

Language:ShellLicense:UnlicenseStargazers:2Issues:3Issues:0

explore_safe_network

Some of my explorations of the SAFE Network.

Language:RustStargazers:1Issues:0Issues:0

graph_safe_compare

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

Language:RustLicense:UnlicenseStargazers:1Issues:2Issues:0

xitomatl

Personal collection of various Scheme (R6RS) libraries.

Language:SchemeLicense:NOASSERTIONStargazers:1Issues:3Issues:0

autocfg

Forked only for testing of the cfg_rust_features crate.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cabna

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

Language:AssemblyLicense:UnlicenseStargazers:0Issues:0Issues:0

vifne

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

Language:SchemeLicense:NOASSERTIONStargazers:0Issues:0Issues:0

autocxx

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

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cargo.el

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

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:3Issues:0

corrector_of_llvm_xray_stack_flame

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

Language:RustLicense:UnlicenseStargazers:0Issues:0Issues:0

emacs-modes

Emacs major modes that I made.

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0

logji

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

Language:SchemeLicense:UnlicenseStargazers:0Issues:0Issues:0

my-zfs-backup

Simple script and config for backing-up ZFS datasets.

Language:ShellLicense:UnlicenseStargazers:0Issues:2Issues:0

my_bash_history_combiner

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

Language:RustLicense:UnlicenseStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:0Issues:0

psas

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

Language:AssemblyLicense:UnlicenseStargazers:0Issues:3Issues:0

rust

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

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

safe_network

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

License:NOASSERTIONStargazers:0Issues:0Issues:0

srfi

Scheme Requests for Implementation as R6RS libraries.

Language:SchemeLicense:NOASSERTIONStargazers:0Issues:3Issues:0

tarmi

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

Language:AdaLicense:UnlicenseStargazers:0Issues:0Issues:0

uzers-as-users

Library for Unix users and groups in Rust.

Language:RustLicense:MITStargazers:0Issues:0Issues:0