Pinned Repositories
Anki-Quizlet
Anki addon that loads decks from Quizlet.com
cs6120-autoscheduler
a toy autoscheduler for halide
cs6120-autovec
autovectorizer for LLVM
django-bookstore
Django bookstore application
lambda-type-systems
implementation of various type systems for lambda calculi
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
viaduct-he
A compiler from array programs to vectorized homomorphic encryption
rolph-recto's Repositories
rolph-recto/viaduct-he
A compiler from array programs to vectorized homomorphic encryption
rolph-recto/cs6120-autovec
autovectorizer for LLVM
rolph-recto/ocaml-wasm
typed webassembly backend for ocaml
rolph-recto/rofi-zotero
Open a Zotero attachment using rofi
rolph-recto/cs6120-autoscheduler
a toy autoscheduler for halide
rolph-recto/lambda-type-systems
implementation of various type systems for lambda calculi
rolph-recto/dataflow
A toy dataflow analysis framework
rolph-recto/ABY-viaduct-runtime
rolph-recto/bril
an educational compiler intermediate representation
rolph-recto/copybox
rolph-recto/cryptopals-rust-solutions
cryptopals solutions in rust
rolph-recto/cs6120
advanced compilers
rolph-recto/CS6831-Spring2019
Designing Secure Cryptography
rolph-recto/haskell-tutorial
A series of small programs for understanding various parts of Haskell
rolph-recto/HLisp
A tiny Lisp interpreter in Haskell
rolph-recto/ifcap-barrier
rolph-recto/ifcap-demo
rolph-recto/ifcap-rust
rolph-recto/interview
programs for interview practice
rolph-recto/JikesRVM
Jikes RVM (Research Virtual Machine)
rolph-recto/merges
code for merges research
rolph-recto/miniml
A toy implementation of ML
rolph-recto/ocaml-pinboard
An OCaml interface to the Pinboard API
rolph-recto/pldg-expression-problem
rolph-recto/ptoxide
Virtual machine for executing CUDA PTX without a GPU
rolph-recto/rolph-recto.github.io
rolph-recto/scripts
Random useful scripts
rolph-recto/serde_datalog
A Serde serializer that extracts Datalog facts
rolph-recto/sicp-solutions
rolph-recto/spec
WebAssembly specification, reference interpreter, and test suite.