wangyanhai's repositories
attention-is-all-you-need-pytorch
A PyTorch implementation of the Transformer model in "Attention is All You Need".
beego
beego is an open-source, high-performance web framework for the Go programming language.
calyx
Intermediate Language (IL) for Hardware Accelerator Generators
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cue
Validate and define text-based and dynamic configuration
darknet
YOLOv4 - Neural Networks for Object Detection (Windows and Linux version of Darknet )
FreeRDP
FreeRDP is a free remote desktop protocol library and clients
GCatch
Statically Detecting Go Concurrency Bugs
Halide
a language for fast, portable data-parallel computation
jetson-inference
Hello AI World guide to deploying deep-learning inference networks and deep vision primitives with TensorRT and NVIDIA Jetson.
koala-lang
Koala is a modern language.
lcc
The lcc retargetable ANSI C compiler
liteide
LiteIDE is a simple, open source, cross-platform Go IDE.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mace
MACE is a deep learning inference framework optimized for mobile heterogeneous computing platforms.
mosquitto
Eclipse Mosquitto - An open source MQTT broker
mxgraph
mxGraph is a fully client side JavaScript diagramming library
opencv
Open Source Computer Vision Library
PARL
A high-performance distributed training framework for Reinforcement Learning
PG
This repo is the new home of Proof General
SharpDevelop
#develop (short for SharpDevelop) is a free IDE for .NET programming languages.
Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
systemc
Core SystemC Library
Tengine
Tengine is a lite, high performance, modular inference engine for embedded device
vscode
Visual Studio Code
web-data
The repo to host all the web data including images for documents in dmlc projects.
yarpgen
Yet Another Random Program Generator
z3
The Z3 Theorem Prover