LeBron's repositories
FalsifAI
Falsification of AI-Enabled Hybrid Control Systems
Neuro-Symbolic-Verification
Neuro-Symbolic Verification of Deep Neural Networks
AALpy
An Active Automata Learning Library Written in Python
automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
automata
A Python library for simulating finite automata, pushdown automata, and Turing machines
eran
ETH Robustness Analyzer for Deep Neural Networks
examples
A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.
project-based-learning
Curated list of project-based tutorials
build-your-own-x
🤓 Build your own (insert technology here)
free-project-course
整理和搜集网络免费的项目实战课程，包括 Java 项目实战，Python 项目实战，C++ 项目实战等
klee
KLEE Symbolic Execution Engine
FuzzingPaper
Recent Fuzzing Paper
fuzzer-test-suite
Set of tests for fuzzing engines
vue.js-todolist
这是一个为了学习vue和webpack实现的一个todo-list demo
online-cv
A minimal Jekyll Theme to host your resume (CV)
minicoursemanager
Database Design for a project
surge-hosts
hosts for surge,翻墙,强力去APP广告,google,facebook,twitter,youtube,etc