Pinned Repositories
amoebasat
cnf-files-download
Download public CNF benchmark files with zsh scripts
dinetour
Dine tour (ver1)
matchlib
SystemC/C++ library of commonly-used hardware functions and components for HLS.
md-pp_hls
HLS model of MD pipeline for non-bond forces calculation
minisat
A minimalistic and high-performance SAT solver
probSAT
The probSAT SAT Solver
vuex
🗃️ Centralized State Management for Vue.js.
workshop
bigglasses93's Repositories
bigglasses93/amoebasat
bigglasses93/cnf-files-download
Download public CNF benchmark files with zsh scripts
bigglasses93/dinetour
Dine tour (ver1)
bigglasses93/matchlib
SystemC/C++ library of commonly-used hardware functions and components for HLS.
bigglasses93/md-pp_hls
HLS model of MD pipeline for non-bond forces calculation
bigglasses93/minisat
A minimalistic and high-performance SAT solver
bigglasses93/probSAT
The probSAT SAT Solver
bigglasses93/vuex
🗃️ Centralized State Management for Vue.js.