rolph-recto

cs6120-autovec

autovectorizer for LLVM

viaduct-he

A compiler from array programs to vectorized homomorphic encryption

miniml-compiler

A compiler for the MiniML language described in Appel's Compiling with Continuations

ocaml-wasm

typed webassembly backend for ocaml

rofi-zotero

Open a Zotero attachment using rofi

cs6120-autoscheduler

a toy autoscheduler for halide

lambda-type-systems

implementation of various type systems for lambda calculi

dataflow

A toy dataflow analysis framework

ABY-viaduct-runtime

bril

an educational compiler intermediate representation

copybox

cryptopals-rust-solutions

cryptopals solutions in rust

cs6120

advanced compilers

CS6831-Spring2019

Designing Secure Cryptography

haskell-tutorial

A series of small programs for understanding various parts of Haskell

HLisp

A tiny Lisp interpreter in Haskell

ifcap-barrier

ifcap-demo

ifcap-rust

interview

programs for interview practice

JikesRVM

Jikes RVM (Research Virtual Machine)

merges

code for merges research

miniml

A toy implementation of ML

ocaml-pinboard

An OCaml interface to the Pinboard API

pldg-expression-problem

ptoxide

Virtual machine for executing CUDA PTX without a GPU

rolph-recto.github.io

scripts

Random useful scripts

sicp-solutions

spec

WebAssembly specification, reference interpreter, and test suite.