dotkrnl
cofounder of rapidstream, ucla phd, tsinghua alumnus | eda researcher with full-stack experience on silicon, compiler, devops, hpc, algorithm, art
RapidStreamSanta Clara & Hong Kong
Pinned Repositories
dice-python
dice-python is a Python module to take Python code and output that equivalent code in Dice, a probabilistic programming language.
dotmin
a minimal responsive octopress theme
heterosa
Test-driven hard-fork of UCLA-VAST/AutoSA on modern toolchains targeting only dotkrnl/heterotask with simplicity in mind.
write-group
wg@dotkrnl.com ~$ echo "a simple group message board system" | write group
heterorefactor
HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA
rapidstream-cookbook
Tutorials and useful scripts for using RapidStream.
rapidstream-tapa
RapidStream TAPA compiles task-parallel HLS program into high-frequency FPGA accelerators.
mirror-web
Source code of the web interface of https://mirrors.tuna.tsinghua.edu.cn/
AutoSA
AutoSA: Polyhedral-Based Systolic Array Compiler
mlir-aie
An MLIR-based toolchain for AMD AI Engine-enabled devices.
dotkrnl's Repositories
dotkrnl/dotmin
a minimal responsive octopress theme
dotkrnl/dice-python
dice-python is a Python module to take Python code and output that equivalent code in Dice, a probabilistic programming language.
dotkrnl/heterosa
Test-driven hard-fork of UCLA-VAST/AutoSA on modern toolchains targeting only dotkrnl/heterotask with simplicity in mind.
dotkrnl/iodine
a HUSTOJ fork, OI training oriented.
dotkrnl/dotchat
a simple group chat system, responsive
dotkrnl/gface
a face capturing application for SIS or other purposes based on OpenCV
dotkrnl/hustoj
the online judge system for acm/icpc
dotkrnl/wallic
make wallet public, a simple rails app for publishing account of payments.
dotkrnl/ansible-github_actions_runner
Ansible Role to deploy GitHub Actions self-hosted runner
dotkrnl/beancount_importer
some importer for beancount
dotkrnl/capa_benchmark
dotkrnl/comp3021lab
ALL COPYRIGHT COMPLAINTS PLEASE CONTACT **HKUST**
dotkrnl/dotfiles
dotkrnl/dotFive
Qt implementation of network gobang game for summer term project
dotkrnl/dotFlow
Qt clone of FreeFlow for summer term project
dotkrnl/dotFoods
yet another crawler of wikipedia, not only for foods, for summer term project
dotkrnl/DroidOver6
dotkrnl/gosa-plugin-mailaddress
Simple plugin for managing user mail addresses in GOsa
dotkrnl/heterocl
HeteroCL: A Multi-Paradigm Programming Infrastructure for Software-Defined Heterogeneous Computing
dotkrnl/homebridge-wiz-lan
Control Wiz lights over LAN
dotkrnl/microduino-demo
Simple demo code for microduino (beep & light controller), code untested and only for homework.
dotkrnl/moves-on-deck
A WebGL-powered visualization of Moves app location history built on the deck.gl framework
dotkrnl/moves-viz
Visualize your Moves app location history
dotkrnl/NaiveMIPS-HDL
dotkrnl/ngGOsa
dotkrnl/nixpkgs
Nix Packages collection
dotkrnl/pylint
It's not just a linter that annoys you!
dotkrnl/rabot
learning by programing a rabbit, a project for SE course
dotkrnl/ssh-router
ssh routing server: ssh user@targethost@jumphost
dotkrnl/teamcity-messages
Python Unit Test Reporting to TeamCity with Finer Granularity