ezeob002's Stars
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
checkcheckzz/system-design-interview
System design interview for IT companies
Delgan/loguru
Python logging made (stupidly) simple
eriklindernoren/PyTorch-GAN
PyTorch implementations of Generative Adversarial Networks.
networkx/networkx
Network Analysis in Python
pyro-ppl/pyro
Deep universal probabilistic programming with Python and PyTorch
AFLplusplus/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
AI4Finance-Foundation/FinRL-Trading
For trading. Please star.
microsoft/CyberBattleSim
An experimentation and research platform to investigate the interaction of automated agents in an abstract simulated network environments.
shellphish/driller
Driller: augmenting AFL with symbolic execution!
MozillaSecurity/FuzzManager
A fuzzing management tools collection
RUB-SysSec/nyx-net
AvalZ/WAF-A-MoLE
A guided mutation-based fuzzer for ML-based Web Application Firewalls
nccgroup/Hodor
Hodor! Fuzzer..
jakegrigsby/deep_control
Deep Reinforcement Learning for Continuous Control in PyTorch
bajinsheng/SGFuzz
steynvl/inferrer
An automata learning library written in Python.
ReedOei/Pecan
An automated theorem prover that uses Büchi automata.
fkie-cad/epf
An evolutionary, coverage-guided greybox network protocol fuzzer
boofish/ICS3Fuzzer
exalearn/EXARL
Scalable Framework for Reinforcement Learning
DES-Lab/Automata-Learning-Based-Diagnosis
Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
Leslieaj/RTALearning
Learning real-time automata
sherwinshen/pac_learn_RTAs
🔧 A prototype tool on learning real-time automata based on pac.
sherwinshen/TAs-learning-site
🏆 时间自动机模型学习工具站点(Timed Automata)
ElsevierSoftwareX/SOFTX_2019_295
A guided mutation-based fuzzer for ML-based Web Application Firewalls. To cite this software publication: https://www.sciencedirect.com/science/article/pii/S2352711019302997.
GeorgeArgyros/sfalearn
Learning Algorithms for finite state machines
kevinaangstadt/automata-synth
A framework for learning automata from legacy code for execution on FPGAs
vulcanisgreat/vulcan
sherwinshen/pac_learn_DOTAs
🔨 A prototype tool for learning DOTAs based on PAC.