copumpkin

categories

Categories parametrized by morphism equality, in Agda

nixpkgs

Nix Packages collection

vector-mmap

Memory map vectors

cloudmapper

CloudMapper helps you analyze your Amazon Web Services (AWS) environments.

amazon-ssm-agent

Agent to enable remote management of your Amazon EC2 instance configuration.

botocore

The low-level, core functionality of boto 3.

darwin-xnu

The Darwin Kernel (mirror)

fakechroot

gives a fake chroot environment

iam-user-guide

Official documentation source for the AWS Identity and Access Management (IAM) User Guide

linux

Linux kernel source tree

linuxkit-builder

An easy to use Linux builder for macOS, repo [maintainer=@grahamc]

monosat

MonoSAT - An SMT solver for Monotonic Theories

network

Personal servers and also my router config.

nix

Nix, the purely functional package manager

nixcon2017

Source of the NixCon 2017 website

nixos-org-configurations

NixOS configurations for nixos.org and its servers

opencarv

Experiments using the Carv sensor inserts without the official app

pants

Pants Build System

pay-to-sudoku

Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment

pinyin

A simple python script to translate chinese to pinyin based on Mandarin.dat

rfcs

The Nix community RFCs

rusoto

AWS SDK for Rust

rustnapshotter

Nothing useful to see here yet

scala

Scala 2 compiler and standard library. For bugs, see scala/bug

scala-open-letter.github.io

swift-corelibs-foundation

The Foundation Project, providing core utilities, internationalization, and OS independence

wuc-new

We Use Coins website.

z3

The Z3 Theorem Prover

Fusion

gremlin-rs

Gremlin Rust