Discover @thoughtpolice Open Source projects

Austin Seipp (@thoughtpolice)

thoughtpolice

Stars
869
Global Rank 35,059 (Top 2 %)
Followers 412
Following 7
Registered over 16 years ago
Most used languages

Haskell
30.9 %

C
23.6 %

Python
7.3 %

Ruby
5.5 %

Nix
5.5 %

Perl
3.6 %

Starlark 3.6 %

Shell
3.6 %

C++
3.6 %

JavaScript
3.6 %

Rust
1.8 %

PHP
1.8 %

Coq 1.8 %

Emacs Lisp
1.8 %

Assembly
1.8 %
Location 🇺🇸 United States
Country Total Rank 10,137
Country Ranking

Starlark 24

Coq 89

Nix
114

Haskell
194

Perl
224

Assembly
318

Emacs Lisp
508

C
918

Ruby
2,215

Rust
5,343

C++
7,024

minibsdiff

A miniature, portable version of bsdiff.

heroku-ping

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

eris

Serve your /nix/store directory over the internet ✨

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

strict-ghc-plugin

A plugin for GHC to turn Haskell into a strict language

salt

Fast cryptographic networking for Haskell

rv32-sail

32-bit RISC-V Emulator

dynasm-example

example of the DynASM library

asc

Austin's supercompiler work

hs-ed25519

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

libfault

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

hs-nacl

Modern Haskell Cryptography

cryptol-mode

A Cryptol major mode for Emacs.

yosys-bluespec

Yosys plugin for synthesis of Bluespec code

claap

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

nacl-jit

Example of using JIT'd code inside Native Client

hs-asai

Delimited, answer-type-polymorphic continuations for Haskell.

coq-skeleton

A simple skeleton for Coq projects

sqlite4_lsm_lz4

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

cse-ghc-plugin

common subexpression elimination plugin for GHC

hs-cityhash

Haskell binding to google cityhash

hs-noise

Usable security for the internet, Deux (in Haskell)

bootstrap.nix

code to bootstrap my nix projects

bucktools

Tools for the Buck2 build system

dev-randomdotorg

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

haskell-donate

👏 give 👏 us 👏 money

narinfo-tools

Simple collection of narinfo tools

shake-extras

Extras for the Shake build system

foundationdb-k8s

Experiments with FoundationDB Simulation on Kubernetes

clash-docs

(EXPERIMENTAL) Sphinx documentation for Clash

heroku-stripe-donate

Simple Ruby server for Stripe Donations, designed for Heroku.

libphutil-yubikey

Yubikey OTP authentication for Phabricator

homebrew-personal

Personal homebrew tap

embedding-server

Stateless HTTP service for computing sentence embeddings

regalloc-bkp

Attempt at a modular register allocator interface

bcachefs-tools

http://bcachefs.org

bf-pypy

A brainfuck JIT using RPython

pcap-conduit

Conduit <-> libpcap interface

hs-curve25519

Minimal curve25519 Haskell package.

hs-poly1305

Minimal poly1305 Haskell package.

hs-vix

Haskell bindings to VMware's VIX API.

dockerfiles

My personal collection of Dockerfiles

nix-makeself

Create binary packages from Nix closures

AHA

Slides for my monthly AHA talks

hs-hmac-sha512256

Minimal HMAC-SHA-512-56 Haskell package.

ghc-prim-compat

Compatibility shim for GHC primops

bors-tests

tree-sitter-openddl

a tree-sitter grammar, for OpenDDL v2.0

hs-microtimer

A tiny Haskell library for benchmarking IO actions.

fdblog2clickhouse

Ingest FoundationDB Logs into ClickHouse

nix-mirror-old

Mirroring system for upstream nixos.org binary caches

network-data-conduit

A conduit for parsing data into TCP/IP/UDP headers and frames

hs-siphash2448

Minimal siphash24-MAC/siphash28-MAC Haskell package.