Lists (2)
Sort Name ascending (A-Z)
Starred repositories
Flexible, Fast & Compact Serialization with RPC
A massively parallel, optimal functional runtime in Rust
A simplified blockchain implementation in Golang
A tool for use with clang to analyze #includes in C and C++ source files
Collection of TypeScript type challenges with online judge
Some examples for using LLVM to generate IR
An ultra-lightweight and blazing-fast Messaging broker/bus for IoT edge & SDV
ClickHouse® is a real-time analytics DBMS
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
AI Native Data App Development framework with AWEL(Agentic Workflow Expression Language) and Agents
哔哩下载姬downkyi,哔哩哔哩网站视频下载工具,支持批量下载,支持8K、HDR、杜比视界,提供工具箱(音视频提取、去水印等)。
A coroutine framework aimed at high-concurrency io with reasonable latency, based on io_uring.
Learn and understand Docker&Container technologies, with real DevOps practice!
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A curated list of awesome projects related to eBPF.
💖 High available distributed ip proxy pool, powerd by Scrapy and Redis
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Library providing helpers for the Linux kernel io_uring support
Write a simple interpreter of C. Inspired by c4 and largely based on it.
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
[SIGMOD'23] Pandas Front-end for SDQL.py. [Pandas] -> [FP] -> [SDQL IR]
🚧 持续更新 🚧 记录搭建兼顾学习娱乐的家用网络环境的过程,折腾过的一些软硬件小经验。
A distributed, fast open-source graph database featuring horizontal scalability and high availability