Austin Seipp

A Git-compatible DVCS that is both simple and powerful

Build system, successor to Buck

Nix Packages collection

My fork of GHC

A miniature, portable version of bsdiff.

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

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

Enable user-mode access to ARMv7/Linux performance counters

Do not taunt happy fun ball

A Clash playground/starter kit, using Nix

My ZeroTier DNS modules

32-bit RISC-V Emulator

A plugin for GHC to turn Haskell into a strict language

Fast cryptographic networking for Haskell

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

example of the DynASM library

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

Austin's supercompiler work

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

Modern Haskell Cryptography

Yosys plugin for synthesis of Bluespec code

A Cryptol major mode for Emacs.

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

Fun playground and adventure game

Tools for the Buck2 build system

Example of using JIT'd code inside Native Client

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

A simple skeleton for Coq projects

Delimited, answer-type-polymorphic continuations for Haskell.

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

common subexpression elimination plugin for GHC

Loop unrolling plugin for GHC

Haskell binding to google cityhash

Stateless HTTP service for computing sentence embeddings

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

code to bootstrap my nix projects

Usable security for the internet, Deux (in Haskell)

http://bcachefs.org

Simple Ruby server for Stripe Donations, designed for Heroku.

Extras for the Shake build system

Simple collection of narinfo tools

Yubikey OTP authentication for Phabricator

Experiments with FoundationDB Simulation on Kubernetes

:clap: give :clap: us :clap: money

Personal homebrew tap

Attempt at a modular register allocator interface

Explosive testing grounds

(EXPERIMENTAL) Sphinx documentation for Clash

A brainfuck JIT using RPython

My personal collection of Dockerfiles

Haskell bindings to VMware's VIX API.

Conduit <-> libpcap interface

Minimal poly1305 Haskell package.

My U-Boot fork

Minimal curve25519 Haskell package.

edwards curves in cryptol

No description.

Library for tracking system metrics

Ingest FoundationDB Logs into ClickHouse

Mirroring system for upstream nixos.org binary caches

A tiny Haskell library for benchmarking IO actions.

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

Yosys Open SYnthesis Suite

No description.

Bluespec Compiler (BSC)

a tree-sitter grammar, for OpenDDL v2.0

Create binary packages from Nix closures

Compatibility shim for GHC primops

Minimal siphash24-MAC/siphash28-MAC Haskell package.

Sail architecture definition language

Slides for my monthly AHA talks

Minimal HMAC-SHA-512-56 Haskell package.

Just One Single History

New SystemVerilog primitives for Bluespec

A Scalable, User-Friendly Source Control System.

Scots Army Knife for electronics

:pencil: A markup-aware linter for prose built with speed and extensibility in mind.

Given a Buck2 built project and a set of changes (e.g. from source control) compute the targets that may have changed. Sometimes known as a target determinator, useful for optimizing a CI system.

Unmodified Postgres with some useful plugins

System for collecting, deriving and working with facts about source code.

Reindeer is a tool to transform Rust Cargo dependencies into generated Buck build rules

Manual segmented stacks for Rust

A cross-platform, linkable library implementation of Git that you can use in your application.

Small tar extraction utility

No description.

mirror of https://gitlab.com/owl-lisp/hex.git

Common runtime for YoWASP packages deployed to NPM, interfacing with Node.js and the browser

High-velocity, monorepo-scale workflow for Git

A remote writer/reader for Prometheus that stores TSDB data in ClickHouse

Sample apps and services for the Helium API

CLaSH prelude library containing datatypes and functions for circuit design

Main repository for pfSense

Liquid Types For Haskell

Haskell bindings to LevelDB

Haskell bindings to a minimalist, realtime, full-text search engine

Haskell bindings to bsdiff

A Haskell library that implements most efficient socket to socket data transfer loops for proxy servers on every operating system using and exposing related OS-specific system calls.

Haskell binding to the QuickLZ library

Embedded specification language & model checker in Haskell

PicoRV32 - A Size-Optimized RISC-V CPU

Orleans is a cross-platform framework for building distributed applications with .NET

Simple logging endpoint for any Fastly service, using syslog

Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentaion (Reverse Engineered)

Verilator open-source SystemVerilog simulator and lint system

Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

FoundationDB Rust client api

A High-Performance, Logs, Metrics, & Events Router

Everyone has some garbage lying around

Shake build system

FoundationDB - the open source, distributed, transactional key-value store

No description.

Nix, the purely functional package manager

@grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg

A tiny CI server built around GitHub and Nix

Linux kernel source tree

Proposed compiler and language changes for GHC and GHC/Haskell

Normalise GHC.TypeLits.Nat equations

CAES Language for Synchronous Hardware

Yosys Web Page

Minimal BLAKE Haskell package.

:moneybag: Stripe API for Haskell

Cryptol: The Language of Cryptography

The SAW scripting language.

Backblaze B2 storage backend for Phabricator.

USB Armory scripts and other nonsense.

Binary serialisation in the CBOR format

Official upstream development repository for Cabal and cabal-install