wi11dey

emacs.d

My Emacs configuration

guix-config

Pure functional operating system configuration

asemantic-stickyfunc

semantic-stickyfunc without semantic

ChampSim

Full x86 simulator based on ChampSim by Texas A&M University: I wrote the STeMS and BB prefetcher circuitry simulators under the prefetcher/ directory for my research in UT Austin College of Natural Sciences' Computer Architecture department

Gates.jl

A fast circuit compiler that can seamlessly integrate with existing Julia code and can incrementally build up expressions and regenerate optimized circuits after substitutions and manipulations using standard Julia functions.

PyCalipers

Automatically detect layer orientation and thicknesses with accurate standard deviations in images

auth-source-recfile

Emacs auth-source using (optionally encrypted) GNU Recfile databases

correspondence

Usable Curry-Howard correspondence

E-Bus

D-Bus using only Emacs

emacs-aio

async/await for Emacs Lisp

emaX

fast_heap

Provides a fast, mutable C++ priority_queue which mutates top() at double the speed of a naïve pop() + push()

fontfile.el

Pure-Elisp font-file reader

Hask.el

Rich GHCi interaction from Emacs

jimport

Java imports that follow you around

JSX.lua

Pure and complete Lua converter from JSX/TSX to JavaScript or TypeScript

names

A Namespace implementation for Emacs-Lisp

netbox

Fast and secure packet filter in C

palantir-java-style

Emacs indentation style for palantir-java-format

Physikell

Relativistic and quantum physics CAS in Haskell

proofs

pwdgen.el

Generate secure passwords without leaving Emacs

QuTiE

recutils

Stochasktic

Stochastic differential equations using the Itô calculus in Haskell

symb0l

Use top row of keyboard for symbols instead of numbers

sysyphus.el

Control /sys from Emacs!

variable-pitch-indent

Indent code even when using variable-pitch faces in Emacs

xtended-faces

zlang

The completely laZy language