Rolph Recto's repositories
viaduct-he
A compiler from array programs to vectorized homomorphic encryption
cs6120-autovec
autovectorizer for LLVM
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
bril
an educational compiler intermediate representation
Language:JavaScriptMIT000
cryptopals-rust-solutions
cryptopals solutions in rust
cs6120
advanced compilers
Language:HTMLMIT000
CS6831-Spring2019
Designing Secure Cryptography
haskell-tutorial
A series of small programs for understanding various parts of Haskell
Language:Python000
ocaml-pinboard
An OCaml interface to the Pinboard API
ptoxide
Virtual machine for executing CUDA PTX without a GPU
Apache-2.0000
serde_datalog
A Serde serializer that extracts Datalog facts
Language:RustMIT000