copumpkin Goto Github PK

agda-highlight

Some crappy code for highlighting Agda

amazon-ssm-agent

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

bitvector

Sequences of bits and common operations on them

botocore

The low-level, core functionality of boto 3.

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

categories

Categories parametrized by morphism equality, in Agda

charm

(Eventually) a reasonably complete ARM implementation in Haskell

cloudmapper

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

containers

Proofs about containers and their relationships to algebraic structures in agda

darwin-xnu

The Darwin Kernel (mirror)

drepa

A dependently typed model of the repa (herpa?) library in Agda

fakechroot

gives a fake chroot environment

fingertree

fusion

gremlin-rs

Gremlin Rust

hologram

Easy, painless AWS credentials on developer laptops.

iam-user-guide

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

ida-scripts

A collection of IDA scripts

iphone-wireless

Automatically exported from code.google.com/p/iphone-wireless

java

A Haskell library for manipulating Java class files

linux

Linux kernel source tree

linuxkit-builder

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

macho

Haskell library for parsing Mach-O object format

matrices

Fun with matrices in Agda

monosat

MonoSAT - An SMT solver for Monotonic Theories

network

Personal servers and also my router config.

nix

Nix, the purely functional package manager

nixcodebuild

A simplistic xcodebuild implementation in nix

nixcon2017

Source of the NixCon 2017 website

nixos-homepage

Sources for nixos.org