ad1024 Goto Github PK
Name: Mike He
Type: User
Company: @PrincetonUniversity
Bio: (Ceil (- now Sep.2022))-year Ph.D. @PrincetonUniversity; Applied Scientist Intern @aws
Twitter: 1SHL10
Location: Princeton, NJ
Mike He's Projects
3la-integrate
ad1024.github.io
MyBlog
advanced-pl
algo-practice
Algorithm practice answer
android_device_pisces
Device For Blisspop
android_device_xiaomi_mocha
CM11 device tree for Xiaomi Mocha
android_vendor_xiaomi_pisces
androidtool
Backup Of A Tool
babble
library learning w egraphs
bilibili_danmu
B 站直播弹幕姬 Python 版
biliinformation
A Information Listener Client Of Bilibili.Implemented By using bilibili's api server and adapt json data objects in the Application.IMPORTANT:This is an Android Studio Project
blog
A blog built by using Koa2+Sequelize+EJS+Semantic UI
bndsoj
An online judge based on UOJ - Thanks to UOJ
calculator
A hand-written calculator(REPL) written in Python3
catstail
CatsTail: Packet program synthesis via equality saturation
cdcl-rust
A CDCL SAT Solver written in Rust (WIP)
chemlab
ARKit Attempt
conr
Official implement of CoNR: Collaborative Neural Rendering using Anime Character Sheets
cse-402-course-note
CSE 402: Domain Specific Language, Spring 2019 by Professor Ras Bodik
cse447-project
NLP stands for Next Letter Prediction
dtlc
Dependently typed lambda calculus - A Simple Proof Assistant
easyvtuber
tha2, but run 30fps on 3080 with virtural webcam support
egg
egg is a flexible, high-performance e-graph library
egg-taichi
Experiment egg for taichi
extraction-gym
benchmarking e-graph extraction
flexmatch
Flexible Matching: Explore and reveal accelerator-supported workloads in Deep Learning Models
github-stats
glenside
A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/
gobang-unity
A GoBang Game developed by using Unity Engine
jsonparser
A JSON Parser written in Python3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.