Pinned Repositories
airflow-doc-zh
:book: [译] Airflow 中文文档
akka-Demo
Akka-Essentials
Java/Scala Examples from the book - Akka Essentials
angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
awesome-pipeline
A curated list of awesome pipeline toolkits inspired by Awesome Sysadmin
awesome-python-in-education-zh
Python在教育方面的资源列表
crab-llvm
Crab-based Abstract Interpreter for LLVM
InvariantSynthesisForArray_C
Automatic Invariant Synthesis for Arrays in Simple Programs
numpywren
QDInvSynthesis
building quantified (including universally and existentially) and disjunctive abstract domains that leverage existing quantifier-free domains in some restricted cases: traversed by simple ``for'' loops.
libin049's Repositories
libin049/tensorflow
Computation using data flow graphs for scalable machine learning
libin049/blockly
The web-based visual programming editor.
libin049/scratch-curriculum
Term 1 and 2 of Code Club, learning Scratch
libin049/python-curriculum
Term 4 of Code Club, learning Python
libin049/InvariantSynthesisForArray_C
Automatic Invariant Synthesis for Arrays in Simple Programs
libin049/QDInvSynthesis
building quantified (including universally and existentially) and disjunctive abstract domains that leverage existing quantifier-free domains in some restricted cases: traversed by simple ``for'' loops.
libin049/awesome-python-in-education-zh
Python在教育方面的资源列表
libin049/code-dot-org
The code powering code.org and studio.code.org
libin049/angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
libin049/awesome-raspberry-pi-zh
树莓派(Raspberry Pi )资源大全中文版 , 包括工具、项目、镜像、资源等
libin049/smack
SMACK Software Verifier And Verification Toolchain
libin049/dsa-seahorn
DSA fork for SeaHorn
libin049/crab-llvm
Crab-based Abstract Interpreter for LLVM
libin049/llvm-test-lvi
LLVM pass for testing the soundness of the LazyValueInfo analysis pass
libin049/qeconv
Command to convert the format of first-order formulas.
libin049/llvm-seahorn
LLVM components that are modified for SeaHorn
libin049/worklist-clang-apron
Implementation of the work list algorithm for abstract interpretation, combining clang and apron libraries