lee-man Goto Github PK
Name: Lee Man
Type: User
Company: HUAWEI | NOAH'S ARK LAB; CUHK CSE Ph.D.
Bio: Focus on Hardware Formal Verification Now.
Location: Shenzhen
Name: Lee Man
Type: User
Company: HUAWEI | NOAH'S ARK LAB; CUHK CSE Ph.D.
Bio: Focus on Hardware Formal Verification Now.
Location: Shenzhen
Code for our ECCV 2018 work.
Object detection, 3D detection, and pose estimation using center point detection:
Cube-and-Conquer SAT solver
This repository contains the Python implementation of Circuit-based Stochastic Local Search Algorithm CR-SAT: https://bitbucket.org/anton_belov/crsat-2.0/src
Official implementation of "Evaluating Scalable Bayesian Deep Learning Methods for Robust Computer Vision", CVPR Workshops 2020.
Related material on Federated Learning
Testability-Aware Low Power Controller Design with Evolutionary Learning, ITC2021
GOTURN tracking implemented in PyTorch
The incomplete solutions for The C Programming Language (K&R).
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Un-official implementation of MoveNet from Google
A PyTorch port of Google Movenet (inference only)
Pytorch Implementation of OpenAI's PixelCNN++
This includes the template for PytorchLightning training and some utility functions
The solutions and codes to Pattern Recognition and Machine Learning by Bishop.
A Collection of Variational Autoencoders (VAE) in PyTorch.
Variational Adversarial Active Learning (ICCV 2019)
A Flex/Bison Parser for the IEEE 1364-2001 Verilog Standard.
PyTorch Implementation of XNOR-Net
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.