Cyrus Omar

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.

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.

gradual-typing-bib. A bibliography on Gradual Typing

okasaki. A web-based purely-functional text editor.

open-science. A presentation about open science for graduate students.

jsoo_hello. super simple "Hello, world!" in js_of_ocaml

cmu-thesis. Latex starters for creating a CMU thesis or thesis proposal

sos. Speed of sight experiment (MATLAB + Psychtoolbox)

sml-abt-single-sorted. single sorted abstract binding trees in SML

cypy. Useful utilities for Python.

patches. An experiment examining the behaviorally-relevant information content of salient image patches. (MATLAB + Psychtoolbox)

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

nAFC. Common code for n-alternative forced choice tasks. (MATLAB + Psychtoolbox)