Beast code in Giters

jkunlin's repositories

ssh

struts 2 spring 4 hibernate 5

Language:Java6400

fastca

Language:C++400

maxclique

solver for maximum clique problem

Language:C++3 10

FastCATool

Language:C++1 20

maximum-clique

Language:C1 10

.emacs.d

Language:Emacs LispGPL-3.0010

ace

Constraint Solver ACE

Language:JavaMIT000

algorithm-paper

010

Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Language:C++Apache-2.0000

bs

Language:C++GPL-3.0010

Chameleon

Language:CBSD-2-Clause000

crest

CREST is a concolic test generation tool for C.

Language:CBSD-2-Clause000

dest_calculator

Language:C++010

DLXcn

The Chinese version of the paper "Dancing Links" by Knuth

010

dotfiles

dot files for me

Language:Vim Script010

Eclipser

Grey-box Concolic Testing on Binary Code

Language:F#MIT000

FAST

"FAST Approaches to Scalable Similarity-based Test Case Prioritization" online material.

Language:PythonGPL-3.0010

FAST-R

"Scalable Approaches for Test Suite Reduction" online material.

Language:PythonGPL-3.0000

git_appimage

010

JD-GOC-VRP

VRPTW variation of JD Global Optimization Challange

000

jkunlin-vimrc

backup vim bundle and vimrc

Language:Vim Script010

max-weight-clique-instances

Benchmark instances for the maximum weight clique problem

Language:Python000

mosh-static

Static builds of mosh-server

Language:Dockerfile000

OOAD

面向对象大作业

010

result

Language:Shell010

super

Language:CGPL-3.0010

TCA

Language:C++GPL-3.0010

tmux-appimage

010

whatsapp_stickers

A Flutter plugin for adding stickers to WhatsApp.

Language:JavaMIT000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION000