Cyrus Omar's Projects
A package for writing high-performance Ace.OpenCL-based simulations.
Latex starters for creating a CMU thesis or thesis proposal
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.
Useful utilities for Python.
A bibliography on Gradual Typing
The Graphite active code completion system for Java + Eclipse.
various materials for my job search (2016-2017)
super simple "Hello, world!" in js_of_ocaml
Simple example showing how reactive HTML input works in js_of_ocaml.
Interactive quizzes for Markdown
Type-and-example-driven program synthesis for functional programming languages
Common code for n-alternative forced choice tasks. (MATLAB + Psychtoolbox)
Simple demo of a structured programming interface.
A web-based purely-functional text editor.
A presentation about open science for graduate students.
papers I am working on / have submitted pre-2017. see my website ->
An experiment examining the behaviorally-relevant information content of salient image patches. (MATLAB + Psychtoolbox)
Reasonably Programmable Literal Notation (submission to ICFP 2018)
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Hygienic typed literal macros (TLMs) for Reason
OCaml Workshop 2018 submission for Relit
A framework for formal validation of scientific models.
single sorted abstract binding trees in SML
Speed of sight experiment (MATLAB + Psychtoolbox)
Syzygy is a type-directed Java syntax tree prediction engine that uses the Eclipse JDT for source code analysis.
Various formal models for a structured editor for a language with only numbers and nested pairs.
My PhD thesis, titled "Reasonably Programmable Syntax"