Beast code in Giters

Cheng Tan's repositories

Delta-stepping--in-CUDA

Delta-stepping+ algorithm, solve the parallel single source shortest path problem in CUDA architecture.

Language:C++5 20

orochi

Orochi is a monster

Language:PHPGPL-2.05 20

CobraSAT

Language:Jupyter Notebook3 30

android-training-course-in-chinese

Google Android官方培训课程中文版

Language:JavaScriptApache-2.01 20

Cpp-Primer

C++ Primer 5th answers

Language:C++CC0-1.01 20

DNNV

A Framework for Deep Neural Network Verification

Language:PythonMIT1 10

javaInstrumentTool

A java bytecode level instrumentation tool

Language:Java1 20

miniOO

Language:OCaml1 20

NN4Sys-benchmark

Language:Jupyter Notebook1 30

stan-dfs

DFS

Language:C++1 20

android-apps-crawler

An extensible crawler for downloading Android applications in the third-party markets.

Language:Python020

Adv360-Pro-ZMK

Production repository for the all-new Advantage360 Professional using ZMK engine

Language:MakefileMIT010

android-async-http

An Asynchronous HTTP Library for Android

Language:Java020

Arduino

open-source electronics prototyping platform

Language:JavaNOASSERTION020

code_learning

This is the evaluation code I have writen for learning.

Language:C020

CROWN-Tutorial

A simple implementation of CROWN

Language:Python000

cs202-demo

Language:C020

jepsen

A framework for distributed systems verification, with fault injection

Language:Clojure010

minimal

Minimal is a Jekyll theme for GitHub Pages

Language:CSSCC0-1.0020

scrapy

Scrapy, a fast high-level screen scraping and web crawling framework for Python.

Language:PythonBSD-3-Clause020

shanghaigongshang

Language:Python020

symexbib

A bibliography of papers related to symbolic execution

020

vimrc

The ultimate Vim configuration: vimrc

Language:Vim scriptMIT020