ezrosent

frawk

an efficient awk-like language

allocators-rs

Allocators in Rust

art-rs

Adaptive Radix Tree in Rust

crossbeam

Crossbeam fork with hash table implementation (see github.com/ezrosent/wf_hash_writeup)

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

regen

Compile-time regular expression parsing for go-lang.

RuSTM

software transactional memory for rust-lang

TAPL-idris

Examples of some TAPL examples in the idris language

pyret-lang

The Pyret language.

s-explore

Semantics Exploration

channel

A prototype of crossbeam-channel

egg-smol

eggcc

lock-comonad

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

normalization-system-f-notes

Notes around strong normalization for system f.

symbol_table

A string interner

zerocopy

iterators-etc

Fancy Iterators

datafrog

A lightweight Datalog engine in Rust

extraction-gym

benchmarking e-graph extraction

ezrosent.github.io

Personal site

latexnodes

converts basic notes format to latex

secondPrice

Basic experiments with agent-based simulation of second-price auctions in D