mpmilano Goto Github PK

ai-prac

I hacked up some basic search + learning algorithms for AI. Most of them don't work, it was a study exercise.

anna

A low-latency, cloud-native KVS

better-compiletime

better compiletime, take 3

bril-cpp

C++ representation of Bril IR

compile-time-compiler

C++ compile-time (constexpr + template) compiler implementation, take 2

constexpr-allocator

cpp-rpc

aiming for generic, short, modern C++ remote invocation framework

crouton

Chromium OS Universal Chroot Environment

cs6742

Git repository for my work on CS672 at Cornell, Fall 2014

deb-repo

repository containing .deb files, ready to be added as a package source for debian/ubuntu.

derecho

The main code repository for the Derecho project.

desktop-config

want to put some important files from /etc somwewhere

frenetic

The Frenetic Programming Language and Runtime System

frenetic-vm

configuration files for the frenetic VM I've been using.

fullscreenmario

An HTML5 remake of the original Super Mario Brothers - expanded for wide screens.

gallifrey-testing

Infrastructure ported from MixT for gallifrey testing

hydroflow-types

lambda-py

mixt

Prototype Mixed-consistency transaction implementation

mixt-proofs

Proofs for MixT language stuff!

mkamotsu-overlay

mkamotsu portage overlay

mpmilano.github.io

A website for the masses. And me. Mostly me.

mutils

Basic C++ template utilities I've written and come to rely on.

mutils-containers

"Containers" in a broad sense, not in a conforms-to-container-concept sense

mutils-interp

mutils-networking

simple C++ wrapper for C sockets

mutils-serialization

For converting basic objects to arrays of bytes, and vice-versa.

mutils-tasks

Mostly thread and task pools

myriastore

Starting a java MyriaStore interface. Will need to extend the language.

netkat-verify

build for command-line interface to verify.