cyrus-

relit

Hygienic typed literal macros (TLMs) for Reason

typy

A fragmentary bidirectional type system as a Python library

thesis

My PhD thesis, titled "Reasonably Programmable Syntax"

graphite

The Graphite active code completion system for Java + Eclipse.

papers

papers I am working on / have submitted pre-2017. see my website ->

ptsms-paper

Reasonably Programmable Literal Notation (submission to ICFP 2018)

typy-old

A programmable static type system as a Python library.

gradual-typing-bib

A bibliography on Gradual Typing

nestedpairs

Simple demo of a structured programming interface.

syzygy

Syzygy is a type-directed Java syntax tree prediction engine that uses the Eclipse JDT for source code analysis.

jsoo_hello

super simple "Hello, world!" in js_of_ocaml

okasaki

A web-based purely-functional text editor.

open-science

A presentation about open science for graduate students.

cl_egans

A package for writing high-performance Ace.OpenCL-based simulations.

cmu-thesis

Latex starters for creating a CMU thesis or thesis proposal

cypy

Useful utilities for Python.

sml-abt-single-sorted

single sorted abstract binding trees in SML

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

futureofcoding.org

job-search-2017

various materials for my job search (2016-2017)

jsoo_react_input

Simple example showing how reactive HTML input works in js_of_ocaml.

mdbook-quiz

Interactive quizzes for Markdown

myth

Type-and-example-driven program synthesis for functional programming languages

paperclub

PLGradSchools

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

relit-ocaml-workshop

OCaml Workshop 2018 submission for Relit

sciunit

A framework for formal validation of scientific models.

the-aviary

Various formal models for a structured editor for a language with only numbers and nested pairs.

webpage

My academic webpage