Pinned Repositories
actix-web
Actix web is a small, pragmatic, and extremely fast rust web framework.
bootswatch
利用bootswatch堆积出来的Farbox模版
bpf_study
bpf study
clash
A rule-based tunnel in Go.
deeplearning4j
Deeplearning4j, ND4J, DataVec and more - deep learning & linear algebra for Java/Scala with GPUs + Spark
deeplearningbook-chinese
Deep Learning Book Chinese Translation
Emacs.AppImage
This repository builds GNU Emacs from git on Travis CI and packages it as an AppImage.
farbox_template_Mystique
从micolog弄到farbox上的主题
lean4ij
A Lean4 plugin for the Intellij Platform
onriv's Repositories
onriv/lean4ij
A Lean4 plugin for the Intellij Platform
onriv/actix-web
Actix web is a small, pragmatic, and extremely fast rust web framework.
onriv/bpf_study
bpf study
onriv/clash
A rule-based tunnel in Go.
onriv/Emacs.AppImage
This repository builds GNU Emacs from git on Travis CI and packages it as an AppImage.
onriv/FlameGraph
Stack trace visualizer
onriv/guava
Google Core Libraries for Java
onriv/intellij-postfix-templates
Custom Postfix Templates for Intellij IDEA
onriv/jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
onriv/pybiqcrunch
A Python wrapper for the BiqCrunch branch-and-bound quadratic optimizer
onriv/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
onriv/qmk_toolbox
A Toolbox companion for QMK Firmware
onriv/raft-zh_cn
Raft一致性算法论文的中文翻译
onriv/recycle
Simple resource pool for recycling resources in C++
onriv/remote-jit-sample
onriv/SF-zh
《软件基础》中译版 Software Foundations Chinese Translation
onriv/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
onriv/StabilityGuide
【稳定大于一切】打造国内稳定性领域知识库，让无法解决的问题少一点点，让世界的确定性多一点点。
onriv/zsa_qmk_firmware
onriv/36-choc-key-ortholinear-split
36 (choc/kailhx) key ortholinear split keyboard
onriv/clash-verge
A Clash GUI based on tauri. Supports Windows, macOS and Linux.
onriv/fak-config
FAK user configuration repository
onriv/GoWebDAV
a lightweight, easy-to-use WebDAV server
onriv/ij-hello
onriv/LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
onriv/lsp4ij
LSP Client for IntelliJ
onriv/protostuff-jmh-benchmark
Micro benchmark for protostuff
onriv/tornblue
onriv/voussoir
Automatic de-keystoning for single camera DIY book scanners.
onriv/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant