NgaiJustin

Justin Ngai's starred repositories

pyre-check

Performant type-checking for python.

Language:OCamlMIT6759 114 404

notes for software engineers getting up to speed on new AI developments. Serves as datastore for https://latent.space writing, and product brainstorming, but has cleaned up canonical references under the /Resources folder.

Language:HTMLMIT4922 155 10

Glean

System for collecting, deriving and working with facts about source code.

Language:HackNOASSERTION915 25 27

cs6120

advanced compilers

Language:HTMLMIT713 20 124

Fixit

Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.

Language:PythonNOASSERTION660 27 119

topiary

Language:RustMIT516 20 301

calyx

Intermediate Language (IL) for Hardware Accelerator Generators

Language:RustMIT466 18 794

arXausality

A every-so-often-updated collection of every causality + machine learning paper submitted to arXiv in the recent past.

Language:Python414 700

errpy

An Error-Recovering Parser for Python

Language:RustMIT59 18 3

eatery-ios

An open-source iOS app for Cornell eateries and dining halls.

Language:SwiftMIT29 19 121

eatery-blue-ios

An open source dining app for all Cornell eateries.

Language:Swift500

btor2i

An interpreter for the BTOR2 format.

Language:C5 10

volume-ios

An open source iOS app to centralize access to student news and to help amplify their voices on campus.

Language:SwiftMIT3 4 26