Justin Ngai (NgaiJustin)

NgaiJustin

Geek Repo

Company:@facebook @cuappdev

Location:Ithaca, NY

Home Page:justinngai.me

Github PK Tool:Github PK Tool


Organizations
Cal-CS-61A-Staff
cornellacsu
cuappdev
cucapra

Justin Ngai's repositories

btor2i

An interpreter for the BTOR2 format.

Language:CStargazers:5Issues:0Issues:0

word-weaver

Final Research Project for CS 6740 - Advanced Language Technologies

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

stock-sentiment

CS 6386 Final Project

Language:JavaScriptStargazers:0Issues:0Issues:0

cs6120-bril

Assignments for CS 6120 - Advanced Compilers

Language:RustStargazers:0Issues:0Issues:0

language

Shared repository for open-sourced projects from the Google AI Language team.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

minisynth

program synthesis is possible

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

cs6120

advanced compilers

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

btor2tools-sys

Rust FFI bindings for https://github.com/Boolector/btor2tools

Language:RustLicense:MITStargazers:0Issues:0Issues:0

calyx

Intermediate Language (IL) for Hardware Accelerator Generators

Language:RustLicense:MITStargazers:0Issues:0Issues:0

llvm-pass-skeleton

example LLVM pass

Language:C++License:MITStargazers:0Issues:0Issues:0

btor2tools

A generic parser and tool package for the BTOR2 format.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

verible

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

License:NOASSERTIONStargazers:0Issues:0Issues:0

yosys

Yosys Open SYnthesis Suite

Language:C++License:ISCStargazers:0Issues:0Issues:0

bril

an educational compiler intermediate representation

Language:RustLicense:MITStargazers:0Issues:0Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

License:CC0-1.0Stargazers:0Issues:0Issues:0

multi-paxos-db

A linearizable, sharded key-value store with multi-key updates and dynamic load balancing, powered by multi-paxos, 2-phase commit and 2-phase locking

Stargazers:0Issues:0Issues:0

adrd-content-analysis

Content analysis of Twitter posts about Alzheimer’s Disease and Related Dementias

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

CalTTCwebpage

A website for CalTTC powered by Jekyll using airspace template - currently active at calttc.berkeley.edu

Language:HTMLStargazers:0Issues:0Issues:0

MilkingMoney

A light-weight, scalable and self-sufficient system that monitors the profitability of cows by applying ML to IoT data in real time

Language:C#Stargazers:0Issues:0Issues:0

info4940-final-proj

Final Project for INFO 4940 Computing on Earth: Extraction and Consumption

Language:HTMLStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

Current

A web app that searches and discovers interesting conversations with real time analytics — TreeHacks 2021

Language:JavaScriptStargazers:1Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:JavaScriptLicense:0BSDStargazers:0Issues:0Issues:0

Tamagotchi

A retro arcade game simulation implemented with low-level OCaml modules

Language:OCamlStargazers:0Issues:0Issues:0

HoneyHeist

A 2D puzzle-platform game built in Java with LibGDX, Box2D

Language:JavaStargazers:1Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

libgdx

Desktop/Android/HTML5/iOS Java game development framework

License:Apache-2.0Stargazers:0Issues:0Issues:0

CritterWorld

An interactive simulation for the evolution of artificial life (critters) with an AST parser and interpreter for the custom critter language (context-free grammar)

Stargazers:0Issues:0Issues:0