cyrus-

designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist

University of MichiganAnn Arbor, MI

Pinned Repositories

graphite
The Graphite active code completion system for Java + Eclipse.
Language:Java8 4 02
papers
papers I am working on / have submitted pre-2017. see my website ->
Language:TeX5 6 03
ptsms-paper
Reasonably Programmable Literal Notation (submission to ICFP 2018)
Language:TeX4 2 00
relit
Hygienic typed literal macros (TLMs) for Reason
Language:OCaml209 12 156
thesis
My PhD thesis, titled "Reasonably Programmable Syntax"
Language:TeX15 3 00
typy
A fragmentary bidirectional type system as a Python library
Language:Python53 5 121
typy-old
A programmable static type system as a Python library.
Language:Python4 2 300
hazel
Hazel, a live functional programming environment with typed holes
Language:Reason745 15 77050
rustviz
Interactively Visualizing Ownership and Borrowing for Rust
Language:HTML2.7k 27 3670
sciunit
A Python framework for test-driven validation of scientific models.
Language:Python48 10 10233

cyrus-'s Repositories

cyrus-/relit
Hygienic typed literal macros (TLMs) for Reason
Language:OCaml209 12 156
cyrus-/typy
A fragmentary bidirectional type system as a Python library
Language:Python53 5 121
cyrus-/thesis
My PhD thesis, titled "Reasonably Programmable Syntax"
Language:TeX15 3 00
cyrus-/graphite
The Graphite active code completion system for Java + Eclipse.
Language:Java8 4 02
cyrus-/papers
papers I am working on / have submitted pre-2017. see my website ->
Language:TeX5 6 03
cyrus-/ptsms-paper
Reasonably Programmable Literal Notation (submission to ICFP 2018)
Language:TeX4 2 00
cyrus-/typy-old
A programmable static type system as a Python library.
Language:Python4 2 300
cyrus-/gradual-typing-bib
A bibliography on Gradual Typing
Language:Racket3 2 01
cyrus-/nestedpairs
Simple demo of a structured programming interface.
Language:OCaml3 2 02
cyrus-/syzygy
Syzygy is a type-directed Java syntax tree prediction engine that uses the Eclipse JDT for source code analysis.
Language:Java3 4 00
cyrus-/jsoo_hello
super simple "Hello, world!" in js_of_ocaml
Language:OCaml2 2 01
cyrus-/okasaki
A web-based purely-functional text editor.
Language:JavaScript2 2 0
cyrus-/open-science
A presentation about open science for graduate students.
Language:JavaScript2 3 01
cyrus-/cl_egans
A package for writing high-performance Ace.OpenCL-based simulations.
Language:Python1 3 0
cyrus-/cmu-thesis
Latex starters for creating a CMU thesis or thesis proposal
Language:TeX1 3 0
cyrus-/cypy
Useful utilities for Python.
Language:Python1 2 03
cyrus-/sml-abt-single-sorted
single sorted abstract binding trees in SML
Language:Standard ML1 2 0
cyrus-/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.
Language:Python1 0
cyrus-/futureofcoding.org
Language:JavaScript
cyrus-/job-search-2017
various materials for my job search (2016-2017)
Language:TeX2 0
cyrus-/jsoo_react_input
Simple example showing how reactive HTML input works in js_of_ocaml.
Language:JavaScript2 0
cyrus-/mdbook-quiz
Interactive quizzes for Markdown
cyrus-/myth
Type-and-example-driven program synthesis for functional programming languages
Language:OCaml1 0
cyrus-/paperclub
2 0
cyrus-/PLGradSchools
1 0
cyrus-/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Language:OCaml2 0
cyrus-/relit-ocaml-workshop
OCaml Workshop 2018 submission for Relit
Language:TeX2 0
cyrus-/sciunit
A framework for formal validation of scientific models.
Language:Python3 13
cyrus-/the-aviary
Various formal models for a structured editor for a language with only numbers and nested pairs.
Language:TeX2 0
cyrus-/webpage
My academic webpage
Language:HTML2 0