Luca Chen's repositories
gatsby-starter-markdown
boilerplate for markdown-based website
camkes
Component Architecture test suite and example apps.
coc-texlab
TexLab extension for coc.nvim
cse-give
Script for submitting your lab work or assignment on your own machine
cse-local-install
Script for installing on systems where you don't have root access.
dafny
Dafny is a verification-aware programming language
dockerfiles
dockerfiles
gatsby
Build blazing fast, modern apps and websites with React
homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
homebrew-core
🍻 Default formulae for the missing package manager for macOS
machine-learning-practice
Practice for Machine Learning Course on Coursera
mmcv
OpenMMLab Computer Vision Foundation
mmdetection
OpenMMLab Detection Toolbox and Benchmark
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
pytorch-cpp-inference
Serving PyTorch 1.0 Models as a Web Server in C++
seL4
The seL4 microkernel
seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.