Pinned Repositories
ansible-stuff
Ansible scripts for setting up and maintaining a variety of servers
arith-encode
Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
cfengine_stuff
CFEngine3 files for doing various system maintenance tasks
clash-riscv
A library of components for RISC-V implementations in Haskell CLaSH
enumeration
Library for implementing enumeration procedures for datatypes
freebsd
FreeBSD src tree
freebsd-ports
FreeBSD Ports Tree (Read-Only Mirror)
hs-ecc-demo
Elliptic Curve Crypto Demonstration
hs-vinegar
Haskell multipurpose pickler library
runtime-llvm-plugin
LLVM Plugins to generate runtime system glue from the output of the Simple IR code generator
emc2's Repositories
emc2/arith-encode
Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
emc2/enumeration
Library for implementing enumeration procedures for datatypes
emc2/runtime-llvm-plugin
LLVM Plugins to generate runtime system glue from the output of the Simple IR code generator
emc2/ansible-stuff
Ansible scripts for setting up and maintaining a variety of servers
emc2/freebsd
FreeBSD src tree
emc2/freebsd-ports
FreeBSD Ports Tree (Read-Only Mirror)
emc2/hs-vinegar
Haskell multipurpose pickler library
emc2/hs-vinegar-asn1
emc2/hs-vinegar-xml
emc2/HUnit-Plus
A test framework expanding on the HUnit Haskell testing package
emc2/subst
Hereditary Subsitutions with de Bruijn Indexes
emc2/ansible-freebsd-configs
Ansible configurations for setting up FreeBSD systems
emc2/bearssl
A fork of BearSSL, for my own work, and for FreeBSD integration
emc2/bitwise
Portable high-level bitwise manipulation algorithms
emc2/crossbeam
Tools for concurrent programming in Rust
emc2/cv-management
The tools I use to manage my resume/CV
emc2/distributed-systems-course
Materials for the distributed systems course
emc2/elf-utils
ELF manipulation library suitable for embedded Rust
emc2/llvm-sys.rs
Rust bindings to LLVM. (Mirror of https://bitbucket.org/tari/llvm-sys.rs/)
emc2/maven-jcov-plugin
Maven Plugin for JCov Integration
emc2/mcl
Macro-Controlled Logging API
emc2/nss-pam-ldapd
NSS and PAM modules for lookups using LDAP
emc2/openbsd
Source code pulled from OpenBSD for LibreSSL - this includes most of the library and supporting code. The place to contribute to this code is via the OpenBSD CVS tree. Please mail patches to tech@openbsd.org, instead of submitting pull requests, since this tree is often rebased.
emc2/portable
LibreSSL Portable itself. This includes the build scaffold and compatibility layer that builds portable LibreSSL from the OpenBSD source code. Pull requests or patches sent to tech@openbsd.org are welcome.
emc2/rust-compiler-tools
emc2/safe-llvm
Safe LLVM bindings for Rust
emc2/solution-manuals
Solution manuals to graduate-level physics texts
emc2/stream-ciphers
Collection of stream cipher algorithms
emc2/talks-public
Slides and notes for various talks
emc2/zfs
OpenZFS on Linux and FreeBSD