XujieSi's Stars
josephmisiti/awesome-machine-learning
A curated list of awesome Machine Learning frameworks, libraries and software.
tkipf/gcn
Implementation of Graph Convolutional Networks in TensorFlow
fkling/astexplorer
A web tool to explore the ASTs generated by various parsers.
pdfminer/pdfminer.six
Community maintained fork of pdfminer - we fathom PDF
danmar/cppcheck
static analysis of C/C++ code
bcpierce00/unison
Unison file synchronizer
pytorch/ELF
ELF: a platform for game research with AlphaGoZero/AlphaZero reimplementation
facebookarchive/pfff
Tools for code analysis, visualizations, or style-preserving source transformation.
flix/flix
The Flix Programming Language
microsoft/gated-graph-neural-network-samples
Sample Code for Gated Graph Neural Networks
nuprl/10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
shellphish/driller
Driller: augmenting AFL with symbolic execution!
sslab-gatech/qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
allenai/science-parse
Science Parse parses scientific papers (in PDF form) and returns them in structured form.
rntz/datafun
Research on integrating datalog & lambda calculus via monotonicity types
verifast/verifast
Research prototype tool for modular formal verification of C and Java programs
ML-KULeuven/problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
sosy-lab/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
stedolan/crowbar
Property fuzzing for OCaml
isl-org/NPHard
Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search
Jianbo-Lab/L2X
johnwhitington/ocamli
OCaml interpreter
eth-sri/fastsmt
Learning to Solve SMT Formulas Fast
wannesm/PySDD
Python package for Sentential Decision Diagrams (SDD)
caterinaurban/Lyra
xnning/dependent-types-in-haskell
Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
sygus-tools/tychon
SyGuS solver for programming-by-example
ml4tp/tcoq
Modification to Coq to record intermediate proof states encountered during a proof
ndmitchell/office
Macros for Microsoft Office
chc-comp/chc-comp18-benchmarks
Benchmarks fo CHC-COMP 2018