wenlong's repositories
awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
awesome-haskell
A curated list of awesome Haskell frameworks, libraries and software.
awesome-matlab
A curated list of awesome Matlab frameworks, libraries and software.
CarND-MPC-Project
CarND Term 2 Model Predictive Control (MPC) Project
Crazyflie
AADL models for the Crazyflie UAV
darpa_open_catalog
Meta information for the DARPA open catalog project.
deepmath
Experiments towards neural network theorem proving
dev-setup
Mac OS X development environment setup: Easy-to-understand instructions with automated setup scripts for developer tools like Vim, Sublime Text, Bash, iTerm, Python data analysis, Spark, Hadoop MapReduce, AWS, Heroku, JavaScript web development, Android development, common data stores, and dev-based OS X defaults.
dlbook_exercises
Exercises for the Deep Learning textbook at www.deeplearningbook.org
Firmware
PX4 Pro Autopilot Software
Frama-C-Conc2Seq
Frama-C Conc2Seq plugin - transforms concurrent code into equivalent sequential one
Frama-C-StaDy
Static & Dynamic Verification of C programs
hs-to-coq
Convert Haskell source code to Coq source code
musl
Fork of musl libc (https://www.musl-libc.org/) for frama-c verification
nn_robust_attacks
Robust evasion attacks against neural network to find adversarial examples
sonar-frama-c-plugin
sonar-frama-c-plugin is a plugin sonarqube to integrate frama-c results
sv-benchmarks
Collection of Verification Tasks
tool_lists
Links to tools by subject
trick
Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.
utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle