wyjw's Stars
seahorn/seahorn
SeaHorn Verification Framework
eliben/llvm-clang-samples
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
ingve/awesome-clang
Useful resources and samples for using Clang-related tools, or for building stuff on top of Clang.
acsl-technion/cosmix
A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
ziglang/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
google/AFL
american fuzzy lop - a security-oriented fuzzer
mariru/structured_embeddings
PlatformLab/NanoLog
Nanolog is an extremely performant nanosecond scale logging system for C++ that exposes a simple printf-like API.
chapel-lang/chapel
a Productive Parallel Programming Language
ikostrikov/pytorch-a2c-ppo-acktr-gail
PyTorch implementation of Advantage Actor Critic (A2C), Proximal Policy Optimization (PPO), Scalable trust-region method for deep reinforcement learning using Kronecker-factored approximation (ACKTR) and Generative Adversarial Imitation Learning (GAIL).
chihming/awesome-network-embedding
A curated list of network embedding techniques.
python-poetry/poetry
Python packaging and dependency management made easy
t9tio/open-source-jobs
A list of Open Source projects offering jobs.
rtqichen/torchdiffeq
Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.
pytorch/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
MJoergen/nexys4ddr
Various projects for the Nexys4DDR board from Digilent
openai/large-scale-curiosity
Code for the paper "Large-Scale Study of Curiosity-Driven Learning"
google/dopamine
Dopamine is a research framework for fast prototyping of reinforcement learning algorithms.
openai/gym
A toolkit for developing and comparing reinforcement learning algorithms.
savoirfairelinux/opendht
OpenDHT: a C++17 Distributed Hash Table implementation
keras-team/keras
Deep Learning for humans