Pinned Repositories
ccl-parser
Unsupervised common-cover-link parser
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
yoavseginer.github.io
lang
Language core: compiler and runtime
yoavseginer's Repositories
yoavseginer/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
yoavseginer/yoavseginer.github.io
yoavseginer/ccl-parser
Unsupervised common-cover-link parser