sutd Goto Github PK

sv-benchmarks

t2

T2 Temporal Prover

textmate

TextMate is a graphical text editor for OS X 10.7+

the-art-of-programming-by-july

本github已于14年6月基本停止更新，完整精致的纸质版《编程之法：面试和算法心得》已在京东/当当上销售！

thesis-template

tool_lists

Links to tools by subject

triton

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.

truth

use_vim_as_ide

use vim as IDE

vbf

A flexible and extensible front-end library of a programming language compiler.

vim

vim配置文件和插件

vim-1

Vim[contain configuration files]:can used in both in windows MacOS and linux.

vim-fugitive

fugitive.vim: a Git wrapper so awesome, it should be illegal

vimari

Safari port of vimium

vimplugins

vim config files and plugins

vundle.vim

Vundle, the plug-in manager for Vim

woboq_codebrowser

Woboq CodeBrowser

xx-net

接力GoAgent

yices2

The Yices SMT Solver

yin

the Yin programming language

z3

The Z3 Theorem Prover