Eli Rosenthal

frawk. an efficient awk-like language

allocators-rs. Allocators in Rust

art-rs. Adaptive Radix Tree in Rust

wf_hash_writeup. Writeup of wait-free hash table design

FLK-Semantics. Writing out small-step and big-step operational semantics for the FLK language in Idris

equirecursive-golang. Brief demonstration of Go's inclusion of (equi)recursive types

TAPL-idris. Examples of some TAPL examples in the idris language

RuSTM. software transactional memory for rust-lang

regen. Compile-time regular expression parsing for go-lang.

s-explore. Semantics Exploration

normalization-system-f-notes. Notes around strong normalization for system f.

lock-comonad. Toying around with representing locks and scoping rules as indexed (co)monads in Haskell.