Kunhao ZHENG's Projects
Code for CVPR2021 paper "Learning Salient Boundary Feature for Anchor-free Temporal Action Localization"
This is a repository for my codes in Java/C++/Rust when resolving the question in Leetcode
A minimal Hugo Theme - Customized Archie
A curated list of awesome Machine Learning frameworks, libraries and software.
The Rust Programming Language
A C/C++ language tool for DNS Hijacking in UNIX/Linux System by using raw socket and pcap
C++-based high-performance parallel environment execution engine (vectorized env) for general RL environments.
All of my java code for EP-INF371
An updated version of miniF2F with lots of fixes and informal statements / solutions.
Flax is a neural network library for JAX that is designed for flexibility.
3 experiments of GAN/wGAN on simple gaussian distribution, MNIST dataset and exploration of music generation by MuseGAN.
A robot powered training repository :robot:
Java project dedicated to Graph Drawing Contest 2019-2020, ranking 5th
A tool to detect and replace the human face in photo/video with a comic face. You can branch it to a Zoom session.
Type annotations and runtime checking for shape and dtype of JAX arrays, and PyTrees.
Deep Learning for humans
The Lean Theorem Proving Environment
Some useful books for les classes preparatoires
Formal to Formal Mathematics Benchmark (Metamath, Lean)
Implementing parallel Kruskal and Prim MST algorithms using MPI
Using OpenGL in C++, implement a seawave animation from time-dependent Perlin noise and also a physics engine
Using Machine Learning to solve linear programming problems, compared to CPLEX
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Empowering everyone to build reliable and efficient software.
A sample project that exists for PyPUG's "Tutorial on Packaging and Distributing Projects"
Metamath source file for logic and set theory
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.