Austin Seipp

minibsdiff. A miniature, portable version of bsdiff.

eris. Serve your /nix/store directory over the internet :sparkles:

heroku-ping. A utility to ping heroku web applications and keep them alive.

enable_arm_pmu. Enable user-mode access to ARMv7/Linux performance counters

buck2-nix. Do not taunt happy fun ball

clash-playground. A Clash playground/starter kit, using Nix

nixos-zerotier-dns. My ZeroTier DNS modules

rv32-sail. 32-bit RISC-V Emulator

strict-ghc-plugin. A plugin for GHC to turn Haskell into a strict language

salt. Fast cryptographic networking for Haskell

hs-ed25519. Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.

dynasm-example. example of the DynASM library

asc. Austin's supercompiler work

libfault. Simple C library for basic crash reporting functionality, based on Phusion Passenger.

vacuum. DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.

hs-nacl. Modern Haskell Cryptography

yosys-bluespec. Yosys plugin for synthesis of Bluespec code

cryptol-mode. A Cryptol major mode for Emacs.

claap. "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)

a. Fun playground and adventure game

bucktools. Tools for the Buck2 build system

nacl-jit. Example of using JIT'd code inside Native Client

sqlite4_lsm_lz4. SQLite4 Log-structured merge-tree (LSM) compression demo.

coq-skeleton. A simple skeleton for Coq projects

hs-asai. Delimited, answer-type-polymorphic continuations for Haskell.

afl. american fuzzy lop (copy of the source code for easy access)

cse-ghc-plugin. common subexpression elimination plugin for GHC

unroll-ghc-plugin. Loop unrolling plugin for GHC

hs-cityhash. Haskell binding to google cityhash

embedding-server. Stateless HTTP service for computing sentence embeddings

hs-noise. Usable security for the internet, Deux (in Haskell)

bootstrap.nix. code to bootstrap my nix projects

dev-randomdotorg. Linux kernel driver interface to random.org, providing an atmosphere-powered random block device

heroku-stripe-donate. Simple Ruby server for Stripe Donations, designed for Heroku.

haskell-donate. :clap: give :clap: us :clap: money

narinfo-tools. Simple collection of narinfo tools

foundationdb-k8s. Experiments with FoundationDB Simulation on Kubernetes

libphutil-yubikey. Yubikey OTP authentication for Phabricator

shake-extras. Extras for the Shake build system

ghc. My fork of GHC

pcap-conduit. Conduit <-> libpcap interface

sail. Sail architecture definition language

ghc-prim-compat. Compatibility shim for GHC primops

thoughtpolice.

nix-makeself. Create binary packages from Nix closures

tree-sitter-openddl. a tree-sitter grammar, for OpenDDL v2.0