Beast code in Giters

Peng Wang's repositories

6887psets

Problem Sets for MIT 6.887 Formal Reasoning About Programs

Language:Coq8 70

timl

TiML: A Functional Programming Language with Time Complexity

Language:Standard ML8 20

ssmatrix-theory

Coq formalization of matrix differentiation

Language:Coq5 30

phd-thesis-supplemental

Language:Standard ML2 20

frap

Formal Reasoning About Programs

Language:Coq1 20

swift

The Swift Programming Language

Language:C++Apache-2.01 10

swift-apis

Swift for TensorFlow Deep Learning Library

Language:SwiftApache-2.01 10

tensorflow

An Open Source Machine Learning Framework for Everyone

Language:C++Apache-2.01 10

z3

The Z3 Theorem Prover

Language:C++NOASSERTION1 20

community

Stores documents used by the TensorFlow developer community

Apache-2.0010

corn

Coq Repository at Nijmegen

Language:CoqGPL-2.0020

flyspeck

Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)

Language:HTML020

mlton

The MLton repository

Language:Standard MLNOASSERTION020

opencv

Open Source Computer Vision Library

Language:C++NOASSERTION020

polarssl

A portable, easy to use, readable and flexible SSL library (dual-licensed, with FOSS exceptions)

Language:CGPL-2.0020

rust-mdo

Monadic do notation for rust using macro and duck typing

Language:RustWTFPL000

sexps-in-ml

Read and manipulate S-expressions in SML.

Language:Standard ML000

spring17

Problem Sets for MIT 6.887 Formal Reasoning About Programs

Language:Coq020

TILT-Compiler

Standard ML compiler based on typed intermediate languages.

Language:Standard ML020

yellowpaper

The "Yellow Paper": Ethereum's formal specification

Language:TeX020