kix6lj

Earth citizenEarth

Pinned Repositories

.emacs.d
My configuration for emacs
Language:Emacs Lisp0 1 00
ahaHLS
An open source high level synthesis (HLS) tool built on top of LLVM
Language:C++0 0 00
aiintro-VC
Code of aiintro group project
Language:Python1 2 02
berkeley-hardfloat
Language:Scala1 0 00
cadical
CaDiCaL SAT Solver
Language:C++0 0 00
DREAMPlace
Deep learning toolkit-enabled VLSI placement
Language:C++1 0 00
headscale
An open source, self-hosted implementation of the Tailscale control server
Language:Go0 0 00
HLS-lab1
Utilities for HLS-lab1
Language:LLVM6 1 05
MachSuite
Benchmarks for Accelerator Design and Customized Architectures
Language:C0 0 00
mdx-server
a service to read mdx/mdd file and provide http interface
Language:Python0 0 00

kix6lj's Repositories

kix6lj/HLS-lab1
Utilities for HLS-lab1
Language:LLVM6 1 05
kix6lj/aiintro-VC
Code of aiintro group project
Language:Python1 2 02
kix6lj/berkeley-hardfloat
Language:Scala1 0 00
kix6lj/DREAMPlace
Deep learning toolkit-enabled VLSI placement
Language:C++1 0 00
kix6lj/.emacs.d
My configuration for emacs
Language:Emacs Lisp0 1 00
kix6lj/ahaHLS
An open source high level synthesis (HLS) tool built on top of LLVM
Language:C++0 0 00
kix6lj/cadical
CaDiCaL SAT Solver
Language:C++0 0 00
kix6lj/headscale
An open source, self-hosted implementation of the Tailscale control server
Language:Go0 0 00
kix6lj/MachSuite
Benchmarks for Accelerator Design and Customized Architectures
Language:C0 0 00
kix6lj/mdx-server
a service to read mdx/mdd file and provide http interface
Language:Python0 0 00
kix6lj/sf2-programming-language-foundations
https://softwarefoundations.cis.upenn.edu/plf-current/toc.html
Language:Coq0 0 00
kix6lj/tool_lists
Links to tools by subject
0 0