Pinned Repositories
bedrock
Coq library for verified low-level programming
timl
TiML: A Functional Programming Language with Time Complexity
6887psets
Problem Sets for MIT 6.887 Formal Reasoning About Programs
frap
Formal Reasoning About Programs
phd-thesis-supplemental
ssmatrix-theory
Coq formalization of matrix differentiation
swift
The Swift Programming Language
swift-apis
Swift for TensorFlow Deep Learning Library
tensorflow
An Open Source Machine Learning Framework for Everyone
timl
TiML: A Functional Programming Language with Time Complexity
wangpengmit's Repositories
wangpengmit/6887psets
Problem Sets for MIT 6.887 Formal Reasoning About Programs
wangpengmit/timl
TiML: A Functional Programming Language with Time Complexity
wangpengmit/ssmatrix-theory
Coq formalization of matrix differentiation
wangpengmit/phd-thesis-supplemental
wangpengmit/frap
Formal Reasoning About Programs
wangpengmit/swift
The Swift Programming Language
wangpengmit/swift-apis
Swift for TensorFlow Deep Learning Library
wangpengmit/tensorflow
An Open Source Machine Learning Framework for Everyone
wangpengmit/z3
The Z3 Theorem Prover
wangpengmit/community
Stores documents used by the TensorFlow developer community
wangpengmit/corn
Coq Repository at Nijmegen
wangpengmit/flyspeck
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)
wangpengmit/mlton
The MLton repository
wangpengmit/opencv
Open Source Computer Vision Library
wangpengmit/polarssl
A portable, easy to use, readable and flexible SSL library (dual-licensed, with FOSS exceptions)
wangpengmit/rust-mdo
Monadic do notation for rust using macro and duck typing
wangpengmit/sexps-in-ml
Read and manipulate S-expressions in SML.
wangpengmit/spring17
Problem Sets for MIT 6.887 Formal Reasoning About Programs
wangpengmit/TILT-Compiler
Standard ML compiler based on typed intermediate languages.
wangpengmit/yellowpaper
The "Yellow Paper": Ethereum's formal specification