sinaxs

Ph.D. Student at Imperial College London

Pinned Repositories

spice-feeder
HSPICE input translator from verilog testbench
Language:C++0 2 00
CNFmaker
Language:Python00
cppFormatter
Language:C++00
cxxopts
Lightweight C++ command line option parser
Language:C++00
note
00
open-wbo
Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
Language:C++00
pyalgotrade
Python Algorithmic Trading Library
Language:Python00
timeFormatter
Language:C++0 1 00
typora-misty-theme
Yet another elegant Typora theme designed with aesthetics in mind.
Language:CSS0 0 00
xilinx-examples
Language:Verilog0 1 00

sinaxs's Repositories

sinaxs/CNFmaker
Language:Python00
sinaxs/cppFormatter
Language:C++00
sinaxs/cxxopts
Lightweight C++ command line option parser
Language:C++00
sinaxs/note
00
sinaxs/open-wbo
Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
Language:C++00
sinaxs/pyalgotrade
Python Algorithmic Trading Library
Language:Python00
sinaxs/timeFormatter
Language:C++0 1 00
sinaxs/typora-misty-theme
Yet another elegant Typora theme designed with aesthetics in mind.
Language:CSS0 0 00
sinaxs/xilinx-examples
Language:Verilog0 1 00