thoughtpolice

minibsdiff

A miniature, portable version of bsdiff.

clash-playground

A Clash playground/starter kit, using Nix

rv32-sail

32-bit RISC-V Emulator

libfault

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

cryptol-mode

A Cryptol major mode for Emacs.

claap

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

clash-docs

(EXPERIMENTAL) Sphinx documentation for Clash

foundationdb-k8s

Experiments with FoundationDB Simulation on Kubernetes

bcachefs-tools

http://bcachefs.org

regalloc-bkp

Attempt at a modular register allocator interface

ghc

My fork of GHC

u-boot

My U-Boot fork

fdblog2clickhouse

Ingest FoundationDB Logs into ClickHouse

nix-makeself

Create binary packages from Nix closures

nix-mirror-old

Mirroring system for upstream nixos.org binary caches

sail

Sail architecture definition language

clash-compiler

CAES Language for Synchronous Hardware

clash-prelude

CLaSH prelude library containing datatypes and functions for circuit design

foundationdb

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

foundationdb-rs

FoundationDB Rust client api

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations

helium-api-examples

Sample apps and services for the Helium API

libhandler

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

linux

Linux kernel source tree

micro-ci

A tiny CI server built around GitHub and Nix

nix

Nix, the purely functional package manager

ofborg

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

picorv32

PicoRV32 - A Size-Optimized RISC-V CPU

sql-ber