- Shanghai
-
16:11
(UTC +08:00) - https://ricli.tech/resume
- in/ric-ming-li
Starred repositories
A high-determinism, code-free 'Prompt Programing' studio built with Java 一个高确定性的 无代码 'Prompt编程'工作站,以 Java 编写
Common Trace Format to Chrome Trace Format converter
A tool for checking the security hardening options of the Linux kernel
Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
Linux Kernel Programming 2E - published by Packt
C++ High Performance Second Edition, published by Packt
Limit Order Book for high-frequency trading (HFT), as described by WK Selph, implemented in Python3 and C
Free, open source, a high frequency trading and market making backtesting and trading bot, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and o…
Unified Communication X (mailing list - https://elist.ornl.gov/mailman/listinfo/ucx-group)
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
A dynamic library providing Virtualization-based process isolation capabilities
XCap is a cross-platform screen capture library written in Rust. It supports Linux (X11, Wayland), MacOS, and Windows. XCap supports screenshot and video recording (WIP).
This is a public archive. The code now lives in the mono-repo: https://github.com/rust-vmm/rust-vmm/
🕵️♂️ TUI for sniffing network traffic using eBPF on Linux
Zig 语言圣经:简单、快速地学习 Zig, Zig Chinese tutorial, learn zig simply and quickly
Simple tool that just install & update zig nightly.
This project is a Qt example for Windows that allow you to test the Shared Memory on a QEMU VM guest.
Media over QUIC: Real-time latency at massive scale