NgaiJustin

Justin Ngai's starred repositories

btor2i

An interpreter for the BTOR2 format.

Language:C500

calyx

Intermediate Language (IL) for Hardware Accelerator Generators

Language:RustMIT46600

Fixit

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

Language:PythonNOASSERTION66000

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:HTMLMIT492200

errpy

An Error-Recovering Parser for Python

Language:RustMIT5900

Glean

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

Language:HackNOASSERTION91500

pyre-check

Performant type-checking for python.

Language:OCamlMIT675900

eatery-blue-ios

An open source dining app for all Cornell eateries.

Language:Swift500

arXausality

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

Language:Python41400

eatery-ios

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

Language:SwiftMIT2900

volume-ios

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

Language:Swift300