jacky860226 Goto Github PK

a-k-way-greedy-graph-partitioning-for-parallel-applications

A k-way Greedy Graph Partitioning for Parallel Applications

acm-template

some templates of acm-icpc

amber-network-entities

Entities for the Amber Network

biu

a statically typed functional programming language

boost-1.64.0

boost-1.64.0

buffer_and_splitter_insertion

bugfree.js

The easiest way to pray for no bug in your code.

c4

C in four functions

c_stl

在c能力可及的範圍內，用c去實作c++常用的STL

cdcl

A CDCL SAT solver

competitive-programming-training-slides

競技程式設計投影片

cs6135-vlsi-pda-hw3

cs6135-vlsi-pda-hw5

ddia

《Designing Data-Intensive Application》DDIA中文翻译

disjoint-set-data-structure-slides

並查集(Disjoint-set data structure)教學投影片

dpll

very simple and easy to understand DPLL Sat Solver

dr-cu

VLSI Detailed Routing Tool Developed by CUHK

draw-graph

A graph (graph theory) visualization tool for competive programming.

flute3

Flute3 is an open-source rectilinear Steiner minimum tree heuristic from Iowa State, with UFRGS improvements

flute3-cpp-wrapper

C++ Wrapper of flute-3

general-graph-weighted-match-slides

一般圖最大權匹配

iccad-2021-b

ICCAD-2021-B

iccad2019_b_evaluator

The evaluator of ICCAD2019 problem B

iccad2020_bak

iccad2020_prob

ion_camp

iron-palm

百日速成鐵砂掌功-李英昂 && 顧汝章鐵砂掌秘法

jinkelasat

A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)

jtool

Level editing tool for IWBTG fangames.

kd_tree-slides

KD樹基本應用及kd樹解傳統資料結構題-教學投影片