DyeKuu
Now: FAIR @ Meta | Ex: Hugging Face, Sea AI Lab, OpenAI, Stockly | Alumni: Ecole Polytechnique X18, SJTU 16
Hugging FaceFrance
Pinned Repositories
DNS-Hijacking
A C/C++ language tool for DNS Hijacking in UNIX/Linux System by using raw socket and pcap
INF573-Comic-Face
A tool to detect and replace the human face in photo/video with a comic face. You can branch it to a Zoom session.
OpenGL-Seawave-Animation-INF443
Using OpenGL in C++, implement a seawave animation from time-dependent Perlin noise and also a physics engine
PSC-RTE
Using Machine Learning to solve linear programming problems, compared to CPLEX
miniF2F
An updated version of miniF2F with lots of fixes and informal statements / solutions.
trpl-zh-cn
Rust 程序设计语言（2021 edition）
set.mm
Metamath source file for logic and set theory
lean-gym
miniF2F
Formal to Formal Mathematics Benchmark
hloenv
an environment based on XLA for deep learning compiler optimization research.
DyeKuu's Repositories
DyeKuu/DNS-Hijacking
A C/C++ language tool for DNS Hijacking in UNIX/Linux System by using raw socket and pcap
DyeKuu/INF573-Comic-Face
A tool to detect and replace the human face in photo/video with a comic face. You can branch it to a Zoom session.
DyeKuu/OpenGL-Seawave-Animation-INF443
Using OpenGL in C++, implement a seawave animation from time-dependent Perlin noise and also a physics engine
DyeKuu/PSC-RTE
Using Machine Learning to solve linear programming problems, compared to CPLEX
DyeKuu/GAN-wGAN
3 experiments of GAN/wGAN on simple gaussian distribution, MNIST dataset and exploration of music generation by MuseGAN.
DyeKuu/miniF2F
Formal to Formal Mathematics Benchmark (Metamath, Lean)
DyeKuu/set.mm
Metamath source file for logic and set theory
DyeKuu/Trending-on-Twitter
Using Pyspark to do anomaly detection, event detection, clustering, and sentiment analysis. This is a INF583 Project in Ecole Polytechnique.
DyeKuu/trpl-zh-cn
Rust 程序设计语言（第二版 & 2018 edition）
DyeKuu/ActionDetection-AFSD
Code for CVPR2021 paper "Learning Salient Boundary Feature for Anchor-free Temporal Action Localization"
DyeKuu/Algorithm-LeetCode
This is a repository for my codes in Java/C++/Rust when resolving the question in Leetcode
DyeKuu/archie
A minimal Hugo Theme - Customized Archie
DyeKuu/book
The Rust Programming Language
DyeKuu/C-Beginning
DyeKuu/dyekuu.github.io
DyeKuu/Efficient-Prompt
DyeKuu/envpool
C++-based high-performance parallel environment execution engine (vectorized env) for general RL environments.
DyeKuu/FAIR-miniF2F
An updated version of miniF2F with lots of fixes and informal statements / solutions.
DyeKuu/flax
Flax is a neural network library for JAX that is designed for flexibility.
DyeKuu/github-slideshow
A robot powered training repository :robot:
DyeKuu/Graph-Drawing-Contest-2020
Java project dedicated to Graph Drawing Contest 2019-2020, ranking 5th
DyeKuu/jaxtyping
Type annotations and runtime checking for shape and dtype of JAX arrays, and PyTrees.
DyeKuu/keras
Deep Learning for humans
DyeKuu/lean-tpe-public
The Lean Theorem Proving Environment
DyeKuu/materiel-preparatoire
Some useful books for les classes preparatoires
DyeKuu/MST_MPI
Implementing parallel Kruskal and Prim MST algorithms using MPI
DyeKuu/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
DyeKuu/rust
Empowering everyone to build reliable and efficient software.
DyeKuu/sampleproject
A sample project that exists for PyPUG's "Tutorial on Packaging and Distributing Projects"
DyeKuu/transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.