All Git Users → cyrus-

2 open source projects by cyrus-

[ Open user page on Github ]

Hygienic typed literal macros (TLMs) for Reason

✭ 206

A fragmentary bidirectional type system as a Python library

✭ 51

python ocaml pattern-matching algebraic-data-types functional-language

1-2 of 2 user projects