Skip to content
View NgaiJustin's full-sized avatar
🤫
🤫
24 followers · 42 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

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

Block or report NgaiJustin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • btor2i Public

    An interpreter for the BTOR2 format.

    C 5 Updated Dec 11, 2023

  • word-weaver Public

    Final Research Project for CS 6740 - Advanced Language Technologies

    Jupyter Notebook Updated Dec 10, 2023

  • stock-sentiment Public

    CS 6386 Final Project

    JavaScript Updated Nov 28, 2023

  • cs6120-bril Public

    Assignments for CS 6120 - Advanced Compilers

    Rust Updated Nov 17, 2023

  • language Public

    Forked from google-research/language

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

    Python Apache License 2.0 Updated Nov 17, 2023

  • minisynth Public

    Forked from sampsyo/minisynth

    program synthesis is possible

    Python MIT License Updated Nov 9, 2023

  • cs6120 Public

    Forked from sampsyo/cs6120

    advanced compilers

    HTML MIT License Updated Nov 1, 2023

  • btor2tools-sys Public

    Forked from ChristianMoesl/btor2tools-sys

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

    Rust MIT License Updated Oct 29, 2023

  • calyx Public

    Forked from calyxir/calyx

    Intermediate Language (IL) for Hardware Accelerator Generators

    Rust MIT License Updated Oct 28, 2023

  • llvm-pass-skeleton Public

    Forked from sampsyo/llvm-pass-skeleton

    example LLVM pass

    C++ MIT License Updated Oct 18, 2023

  • btor2tools Public

    Forked from hwmcc/btor2tools

    A generic parser and tool package for the BTOR2 format.

    C Other Updated Oct 12, 2023

  • verible Public

    Forked from chipsalliance/verible

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

    C++ Other Updated Sep 29, 2023

  • yosys Public

    Forked from YosysHQ/yosys

    Yosys Open SYnthesis Suite

    C++ ISC License Updated Sep 25, 2023

  • bril Public

    Forked from sampsyo/bril

    an educational compiler intermediate representation

    Rust MIT License Updated Sep 7, 2023

  • opam-repository Public

    Forked from ocaml/opam-repository

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

    Shell Creative Commons Zero v1.0 Universal Updated Aug 17, 2023

  • multi-paxos-db Public

    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

    Updated Jul 9, 2023

  • adrd-content-analysis Public

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

    Jupyter Notebook Updated Apr 24, 2023

  • CalTTCwebpage Public

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

    HTML 2 Updated Oct 6, 2022

  • MilkingMoney Public

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

    C# Updated Aug 14, 2022

  • info4940-final-proj Public

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

    HTML Updated May 23, 2022

  • networking-demo Public

    JavaScript Updated Dec 31, 2021

  • dev-class-fa21-website Public

    Forked from cuappdev/dev-class-fa21-website
    JavaScript Updated Dec 4, 2021

  • Current Public

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

    JavaScript 1 1 Updated Sep 5, 2021

  • NgaiJustin Public

    Updated Aug 19, 2021

  • NotionWidgets Public

    JavaScript BSD Zero Clause License Updated Jun 27, 2021

  • Tamagotchi Public

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

    OCaml 1 Updated Jun 22, 2021

  • HoneyHeist Public

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

    Java 1 3 Updated Jun 22, 2021

  • threejs-demo Public

    JavaScript Updated May 18, 2021

  • libgdx Public

    Forked from libgdx/libgdx

    Desktop/Android/HTML5/iOS Java game development framework

    Java Apache License 2.0 Updated Apr 9, 2021

  • CritterWorld Public

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

    java
    Updated Feb 7, 2021