ngaijustin Goto Github PK

adrd-content-analysis

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

bril

an educational compiler intermediate representation

btor2i

An interpreter for the BTOR2 format.

btor2tools

A generic parser and tool package for the BTOR2 format.

btor2tools-sys

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

calttcwebpage

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

calyx

Intermediate Language (IL) for Hardware Accelerator Generators

cornellchat

A Cornell AppDev 2020 Hack Challenge project

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)

cs6120

advanced compilers

cs6120-bril

Assignments for CS 6120 - Advanced Compilers

current

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

honeyheist

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

info4940-final-proj

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

language

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

libgdx

Desktop/Android/HTML5/iOS Java game development framework

llvm-pass-skeleton

example LLVM pass

milkingmoney

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

minisynth

program synthesis is possible

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

networking-demo

ngaijustin

notionwidgets

opam-repository

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

stock-sentiment

CS 6386 Final Project

sudoku-solver

A lightweight Python app solves any valid 9x9 Sudoku puzzle

threejs-demo

verible

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