danblitzhou Goto Github PK

android-demos

danblitzhou.github.io

Come around and stay awhile!

ece155

ECE 155 : Engineering Design with Embedded Systems

ece459

ECE 459: Programming for Performance

exoplayer

An extensible media player for Android

firechat

Real-time Chat powered by Firebase

fuzzing-with-cov-example

Toy project to showcase getting coverage report when using libfuzzer

ionic-material

A demo or playground project to test out material design with Ionic framework. Based on Ionic-Material demo project.

lets-yue

Android social app centered on events.

mean

MEAN (Mongo, Express, Angular, Node) - A Simple, Scalable and Easy starting point for full stack javascript web development - utilizing many of the best practices we've found on the way

monty-hall-sim

Simulation of the famous Monty Hall problem

mytodo

A Web-based todo-list app made with php laravel framework

oh-my-fish

Standardized Fisheries Data management and sharing

oh-my-fish-1

Standardized Fisheries Data management and sharing

phaser

Phaser is a fun, free and fast 2D game framework for making HTML5 games for desktop and mobile web browsers, supporting Canvas and WebGL rendering.

sea-bmc-datadump

sea-bmc-decompiled

sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

seahorn

SeaHorn Verification Framework

tip

Static program analysis for TIP

verify-c-common

verifytrusty

verifytrusty-1

z3

The Z3 Theorem Prover