Austin Seipp (@thoughtpolice)

Top repositories

1

minibsdiff

A miniature, portable version of bsdiff.
C
123
star
2

heroku-ping

A utility to ping heroku web applications and keep them alive.
Ruby
82
star
3

eris

Serve your /nix/store directory over the internet ✨
Perl
82
star
4

enable_arm_pmu

Enable user-mode access to ARMv7/Linux performance counters
C
76
star
5

buck2-nix

Do not taunt happy fun ball
Starlark
59
star
6

clash-playground

A Clash playground/starter kit, using Nix
Haskell
33
star
7

nixos-zerotier-dns

My ZeroTier DNS modules
Nix
29
star
8

strict-ghc-plugin

A plugin for GHC to turn Haskell into a strict language
Haskell
27
star
9

salt

Fast cryptographic networking for Haskell
Assembly
24
star
10

rv32-sail

32-bit RISC-V Emulator
C
23
star
11

dynasm-example

example of the DynASM library
C
22
star
12

asc

Austin's supercompiler work
Haskell
21
star
13

hs-ed25519

Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.
C
21
star
14

libfault

Simple C library for basic crash reporting functionality, based on Phusion Passenger.
C
21
star
15

hs-nacl

Modern Haskell Cryptography
C
18
star
16

cryptol-mode

A Cryptol major mode for Emacs.
Emacs Lisp
16
star
17

yosys-bluespec

Yosys plugin for synthesis of Bluespec code
C++
14
star
18

claap

"An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
Haskell
13
star
19

nacl-jit

Example of using JIT'd code inside Native Client
C
8
star
20

hs-asai

Delimited, answer-type-polymorphic continuations for Haskell.
Haskell
7
star
21

coq-skeleton

A simple skeleton for Coq projects
Coq
7
star
22

sqlite4_lsm_lz4

SQLite4 Log-structured merge-tree (LSM) compression demo.
C
7
star
23

cse-ghc-plugin

common subexpression elimination plugin for GHC
Haskell
6
star
24

hs-cityhash

Haskell binding to google cityhash
C++
6
star
25

hs-noise

Usable security for the internet, Deux (in Haskell)
Haskell
5
star
26

bootstrap.nix

code to bootstrap my nix projects
Nix
5
star
27

bucktools

Tools for the Buck2 build system
Starlark
5
star
28

dev-randomdotorg

Linux kernel driver interface to random.org, providing an atmosphere-powered random block device
C
5
star
29

haskell-donate

πŸ‘ give πŸ‘ us πŸ‘ money
Haskell
4
star
30

narinfo-tools

Simple collection of narinfo tools
Rust
4
star
31

shake-extras

Extras for the Shake build system
Haskell
4
star
32

foundationdb-k8s

Experiments with FoundationDB Simulation on Kubernetes
Shell
4
star
33

clash-docs

(EXPERIMENTAL) Sphinx documentation for Clash
Python
4
star
34

heroku-stripe-donate

Simple Ruby server for Stripe Donations, designed for Heroku.
Ruby
4
star
35

libphutil-yubikey

Yubikey OTP authentication for Phabricator
PHP
4
star
36

homebrew-personal

Personal homebrew tap
Ruby
3
star
37

embedding-server

Stateless HTTP service for computing sentence embeddings
Python
3
star
38

regalloc-bkp

Attempt at a modular register allocator interface
Haskell
3
star
39

bcachefs-tools

http://bcachefs.org
C
3
star
40

bf-pypy

A brainfuck JIT using RPython
Python
2
star
41

pcap-conduit

Conduit <-> libpcap interface
Haskell
2
star
42

hs-curve25519

Minimal curve25519 Haskell package.
C
2
star
43

hs-poly1305

Minimal poly1305 Haskell package.
Haskell
2
star
44

hs-vix

Haskell bindings to VMware's VIX API.
Haskell
2
star
45

dockerfiles

My personal collection of Dockerfiles
Shell
2
star
46

nix-makeself

Create binary packages from Nix closures
Perl
1
star
47

AHA

Slides for my monthly AHA talks
1
star
48

hs-hmac-sha512256

Minimal HMAC-SHA-512-56 Haskell package.
C
1
star
49

ghc-prim-compat

Compatibility shim for GHC primops
Haskell
1
star
50

bors-tests

Nix
1
star
51

tree-sitter-openddl

a tree-sitter grammar, for OpenDDL v2.0
JavaScript
1
star
52

hs-microtimer

A tiny Haskell library for benchmarking IO actions.
Haskell
1
star
53

fdblog2clickhouse

Ingest FoundationDB Logs into ClickHouse
Python
1
star
54

nix-mirror-old

Mirroring system for upstream nixos.org binary caches
JavaScript
1
star
55

network-data-conduit

A conduit for parsing data into TCP/IP/UDP headers and frames
Haskell
1
star
56

hs-siphash2448

Minimal siphash24-MAC/siphash28-MAC Haskell package.
Haskell
1
star