Pinned Repositories
bitvector
Sequences of bits and common operations on them
categories
Categories parametrized by morphism equality, in Agda
charm
(Eventually) a reasonably complete ARM implementation in Haskell
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
nixpkgs
Nix Packages collection
shaped
A slightly different flavor of generic programming
copumpkin's Repositories
copumpkin/categories
Categories parametrized by morphism equality, in Agda
copumpkin/nixpkgs
Nix Packages collection
copumpkin/vector-mmap
Memory map vectors
copumpkin/cloudmapper
CloudMapper helps you analyze your Amazon Web Services (AWS) environments.
copumpkin/amazon-ssm-agent
Agent to enable remote management of your Amazon EC2 instance configuration.
copumpkin/botocore
The low-level, core functionality of boto 3.
copumpkin/darwin-xnu
The Darwin Kernel (mirror)
copumpkin/fakechroot
gives a fake chroot environment
copumpkin/iam-user-guide
Official documentation source for the AWS Identity and Access Management (IAM) User Guide
copumpkin/linux
Linux kernel source tree
copumpkin/linuxkit-builder
An easy to use Linux builder for macOS, repo [maintainer=@grahamc]
copumpkin/monosat
MonoSAT - An SMT solver for Monotonic Theories
copumpkin/network
Personal servers and also my router config.
copumpkin/nix
Nix, the purely functional package manager
copumpkin/nixcon2017
Source of the NixCon 2017 website
copumpkin/nixos-org-configurations
NixOS configurations for nixos.org and its servers
copumpkin/opencarv
Experiments using the Carv sensor inserts without the official app
copumpkin/pants
Pants Build System
copumpkin/pay-to-sudoku
Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment
copumpkin/pinyin
A simple python script to translate chinese to pinyin based on Mandarin.dat
copumpkin/rfcs
The Nix community RFCs
copumpkin/rusoto
AWS SDK for Rust
copumpkin/rustnapshotter
Nothing useful to see here yet
copumpkin/scala
Scala 2 compiler and standard library. For bugs, see scala/bug
copumpkin/scala-open-letter.github.io
copumpkin/swift-corelibs-foundation
The Foundation Project, providing core utilities, internationalization, and OS independence
copumpkin/wuc-new
We Use Coins website.
copumpkin/z3
The Z3 Theorem Prover
copumpkin/Fusion
copumpkin/gremlin-rs
Gremlin Rust