thoughtpolice/AHA

Stars
1
Language
License
Other
Created over 12 years ago
Updated about 12 years ago

thoughtpolice/AHA

thoughtpolice

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Slides for my monthly AHA talks

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

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.