emc2 Goto Github PK

ansible-freebsd-configs

Ansible configurations for setting up FreeBSD systems

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.

bearssl

A fork of BearSSL, for my own work, and for FreeBSD integration

bitwise

Portable high-level bitwise manipulation algorithms

cfengine_stuff

CFEngine3 files for doing various system maintenance tasks

clash-riscv

A library of components for RISC-V implementations in Haskell CLaSH

cmake-sample

A sample CMake setup for a minimal C-based project

compiler-toolbox

A Haskell library containing miscellaneous components useful for building compilers.

crossbeam

Tools for concurrent programming in Rust

cv-management

The tools I use to manage my resume/CV

distributed-systems-course

Materials for the distributed systems course

dynamic-pprint

Dynamic-programming pretty-print library for Haskell

elf-utils

ELF manipulation library suitable for embedded Rust

enumeration

Library for implementing enumeration procedures for datatypes

ezconfig

Library for handling configuration files, environment variables, and command-line options

freebsd

FreeBSD src tree

freebsd-base-graphics

Fork of FreeBSD's base repository to work on graphics-stack-related projects

freebsd-ports

FreeBSD Ports Tree (Read-Only Mirror)

hs-ecc-demo

Elliptic Curve Crypto Demonstration

hs-vinegar

Haskell multipurpose pickler library

hs-vinegar-asn1

hs-vinegar-xml

hunit-plus

A test framework expanding on the HUnit Haskell testing package

iridium

Common High-level IR Library

leanstuff

Exploration of Lean

llvm-bindings

LLVM Bindings for Haskell

llvm-sys.rs

Rust bindings to LLVM. (Mirror of https://bitbucket.org/tari/llvm-sys.rs/)

mail-protector

Mail Protector

masters-thesis-archive

Archive of the code from my master's thesis