Discover @cyrus- Open Source projects

Cyrus Omar (@cyrus-)

cyrus-

Stars
318
Global Rank 84,929 (Top 3 %)
Followers 168
Following 22
Registered over 14 years ago
Most used languages

Python
26.7 %

TeX
20.0 %

OCaml
20.0 %

Java
13.3 %

JavaScript
13.3 %

Standard ML 6.7 %
Location 🇺🇸 United States
Country Total Rank 20,524
Country Ranking

OCaml
35

Standard ML 127

TeX
643

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.

syzygy

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

nestedpairs

Simple demo of a structured programming interface.

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.

sml-abt-single-sorted

single sorted abstract binding trees in SML

cypy

Useful utilities for Python.