tianhan0

followers

following

stars

University of Colorado Boulder

Organizations

cuplv

Tianhan Lu's repositories

Export-NeteaseMusic-Playlist

Export playlist from NeteaseMusic.app on Mac

Language:Python400

STAC

Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program

Language:Java2 20

brbo2-impl

Language:Scala010

ctuning-programs

Collective Knowledge extension with unified and customizable benchmarks (with extensible JSON meta information) to be easily integrated with customizable and portable Collective Knowledge workflows. You can easily compile and run these benchmarks using different compilers, environments, hardware and OS (Linux, MacOS, Windows, Android). More info:

Language:C010

descartes

descartes: the cartesian hoare logic prover

Language:Java000

ictac2014

Precise Interprocedural Side-Effect Analysis

Language:Scala020

kittel-koat

KITTeL/KoAT

Language:F*Apache-2.0000

LeetCode

Solutions to problems in LeetCode

Language:Java020

linux

Linux kernel source tree

Language:CNOASSERTION000

pyre-check-1

Performant type-checking for python.

Language:OCamlMIT000

qfuzz

Implementation of QFuzz.

Language:JavaApache-2.0000

quantmchecker

Language:Java000

sv-opam

Repository for OPAM packages related to software verification

010

test-rsync

000

TrackDiskUsage

Track disk usage over time

Language:Python000

type-inference

Automatically exported from code.google.com/p/type-inference

Language:JavaNOASSERTION020

type-precise-bound-impl

Language:HTML000