Highlights
- Pro
Starred repositories
A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.
Performance analysis tools based on Linux perf_events (aka perf) and ftrace
A code-searching tool similar to ack, but faster.
A Vim plugin which shows git diff markers in the sign column and stages/previews/undoes hunks and partial hunks.
使用Rust从0自研内核,具有Linux兼容性的操作系统,面向云计算Serverless场景而设计。DragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for **Serverless** scenarios.
Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
阿布量化交易系统(股票,期权,期货,比特币,机器学习) 基于python的开源量化交易,量化投资架构
Qlib is an AI-oriented quantitative investment platform that aims to realize the potential, empower research, and create value using AI technologies in quantitative investment, from exploring ideas…
A curated list of insanely awesome libraries, packages and resources for Quants (Quantitative Finance)
Code from various chapters in OSTEP (http://www.ostep.org)
vHive: Open-source framework for serverless experimentation
Collect papers about serverless computing research
🦀 How to minimize Rust binary size 📦
A script to get the champion of a game called "开局托儿所" on WeChat
[CVPR 2024] EpiDiff: Enhancing Multi-View Synthesis via Localized Epipolar-Constrained Diffusion
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.