Serverless LLM Serving for Everyone.

xv6 for learning MIT 6.S081

IOR and mdtest

MLPerf® Storage Benchmark Suite

Efficient RPCs for datacenter networks

同济大学软件学院软件工程专业课所有作业和项目，包括以下内容：数据结构，数据结构课程设计，计算机组成原理，计算机组成原理实验，程序设计范式，离散数学，Python，操作系统，操作系统课程设计，计算机系统结构，系统分析与设计，数据库原理与应用，数据库原理与应用课程设计，算法分析设计，人工智能导论，计算机网络，计算机网络实验，软件工程，软件工程课程设计，软件设计模式，智能计算系统，编译原理，嵌入式…

v2ray-core 的模板们

Haskell bindings for the W3C WebDriver API

A web GUI client of Project V which supports VMess, VLESS, SS, SSR, Trojan, Tuic and Juicity protocols. 🚀

Lean 4 programming language and theorem prover

Official Haskell IDE support via the language server protocol (LSP)

Agda is a dependently typed programming language / interactive theorem prover.

A Proof-oriented Programming Language

A Dependently Typed Functional Programming Language

A purely functional programming language with first class types

Chez Scheme

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Industrial-strength monadic parser combinator library

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Patches needed to build VMware (Player and Workstation) host modules against recent kernels

【deepin源移植】Debian/Ubuntu上的QQ/微信快速安装方式

Deepin Wine for Ubuntu/Debian

v2ray linux GUI客户端，支持订阅、vemss、ss等协议，自动更新订阅、检查版本更新

😎 Awesome lists about all kinds of interesting topics

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…