wangbo15 Goto Github PK

pysonar2

PySonar2: an advanced semantic indexer for Python

pythonic-project-guidelines

Set of guidelines and structure of a Python project

randoop

Automatic test generation for Java

rife

RIFE is a full-stack web application framework with tools and APIs to implement most common web features.

sallycompiler

Simple compiler that translates simpified C into ARMv7 assembly

sanitizers

AddressSanitizer, ThreadSanitizer, MemorySanitizer

sat_smt_article

sklearn_tutorial

Materials for my scikit-learn tutorial

skr_learning

天问之路 - 学习笔记&学习周报。内容包括但不限于C++ STL、编译原理、LLVM IR Pass代码优化、CSAPP Lab、uCore操作系统等等。持续更新ing...

soot

Soot - A Java optimization framework

speeduptest

a project to speed unit test for junit

spllift

spoon

Spoon is a library to analyze, transform, rewrite, transpile Java source code (incl Java 8). It parses source files to build a well-designed AST with powerful analysis and transformation API. Made at Inria with :heart:, :beers: and :sparkles:.

stanford-cs-229-cn

A Chinese Translation of Stanford CS229 notes 斯坦福机器学习CS229课程讲义的中文翻译

svn-diffstat

creates a code frequency chart for SVN

syssec-workshop

tetris

A (incomplete) terminal Tetris. Written in Haskell.

tiger

A simple teaching compiler for MiniJava.

toy-compiler

个人学习编译原理、理解创造一个编译器主体流程的小项目

ucc162.3

A lightweight open-source C compiler for research and education.

untracer-afl

An AFL implementation with UnTracer (our coverage-guided tracer)

ustc-course

:heart:**科学技术大学课程资源

utils4maven

Utilities for Maven development

vasco

An inter-procedural data flow analysis framework using value-based context-sensitivity

wangbo15.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

z3py-tutorial