Pinned Repositories
A-k-way-Greedy-Graph-Partitioning-for-Parallel-Applications
A k-way Greedy Graph Partitioning for Parallel Applications
c_STL
在c能力可及的範圍內，用c去實作c++常用的STL
Competitive-Programming-Training-Slides
競技程式設計投影片
CS6135-VLSI-PDA-HW5
general-graph-weighted-match-slides
一般圖最大權匹配
ICCAD-2021-B
ICCAD-2021-B
JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
nthu-route
nthu-route 2.11
jacky860226's Repositories
jacky860226/ICCAD-2021-B
ICCAD-2021-B
jacky860226/JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
jacky860226/CS6135-VLSI-PDA-HW5
jacky860226/buffer_and_splitter_insertion
jacky860226/Flute3-Cpp-Wrapper
C++ Wrapper of flute-3
jacky860226/c4
C in four functions
jacky860226/ddia
《Designing Data-Intensive Application》DDIA中文翻译
jacky860226/DPLL
very simple and easy to understand DPLL Sat Solver
jacky860226/is_planar
a python code which implements the left-right algorithm for testing planarity of given graphs.
jacky860226/NTHU-CPP
前人種樹，後人持久化🌴
jacky860226/steiner-tree-2-approximation
steiner tree 2-approximation O(E + V log V)
jacky860226/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
jacky860226/amber-network-entities
Entities for the Amber Network
jacky860226/boost-1.64.0
boost-1.64.0
jacky860226/CDCL
A CDCL SAT solver
jacky860226/competitive-programming-library
Templates, algorithms and data structures implemented and collected for programming contests. Check README.md for an overview.
jacky860226/CS6135-VLSI-PDA-HW3
jacky860226/flute3
Flute3 is an open-source rectilinear Steiner minimum tree heuristic from Iowa State, with UFRGS improvements
jacky860226/iccad2020_bak
jacky860226/ICCAD2020_ProB
jacky860226/jtool
Level editing tool for IWBTG fangames.
jacky860226/kissat
jacky860226/mainnet-entities
Mainnet Entity Packages
jacky860226/oasis-core
Performant and Confidentiality-Preserving Smart Contracts + Blockchains
jacky860226/openethereum
The fast, light, and robust client for Ethereum-like networks.
jacky860226/pc-tree
jacky860226/SAT-Solver-CDCL
A simple SAT Solver based on the CDCL algorithm
jacky860226/subprocess
A C++ high level library for running shell processes
jacky860226/testlib
Automatically exported from code.google.com/p/testlib
jacky860226/togasat
A Header-Only CDCL SAT Solver for Programming Contest