msullivan

godels-t

Formalization of a bunch of properties of Godel's System T in agda

cmd-queue

A really dumb script for running a queue of commands

he-man

Haskell Event Manager, Apropos Networking

bovik-papers

ollibot

An implementation of substructural intuitionistic logic focused on forward chaining

userspace-rcu

This repo is a mirror of the official lttng-tools git found at git://git.lttng.org/userspace-rcu.git. liburcu is a LGPLv2.1 userspace RCU (read-copy-update) library. This data synchronization library provides read-side access which scales linearly with the number of cores.

charlie-game

epicmix

folly

An open-source C++ library developed and used at Facebook.

hhvm-third-party

All of the dependencies that hhvm needs which don't have nice packages

latexrun

A 21st century LaTeX wrapper

rust

a safe, concurrent, practical language

smoothie

Smoothie Charts: smooooooth JavaScript charts for realtime streaming data

stilts

SML On Stilts

TailBot

simple irc bot to tail log files and send output to channel(s)

z3

The Z3 Theorem Prover