marsmxm

tauri

Build smaller, faster, and more secure desktop applications with a web frontend.

rustdesk

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

ChatGLM-6B

ChatGLM-6B: An Open Bilingual Dialogue Language Model | 开源双语对话语言模型

acme.sh

A pure Unix shell script implementing ACME client protocol

llm-course

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

servo

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

hyperfine

A command-line benchmarking tool

awesome-english-ebooks

经济学人(含音频)、纽约客、卫报、连线、大西洋月刊等英语杂志免费下载,支持epub、mobi、pdf格式, 每周更新

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

V2rayU

V2rayU,基于v2ray核心的mac版客户端,用于科学上网,使用swift编写,支持trojan,vmess,shadowsocks,socks5等服务协议,支持订阅, 支持二维码,剪贴板导入,手动配置,二维码分享等

v2rayA

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

lean-side-bussiness

精益副业：程序员如何优雅地做副业

lean4

Lean 4 programming language and theorem prover

miri

An interpreter for Rust's mid-level intermediate representation

BaiduPCS-Go

iikira/BaiduPCS-Go原版基础上集成了分享链接/秒传链接转存功能

v2ray-examples

v2ray-core 的模板们

xpra

Persistent remote applications for X11; screen sharing for X11, MacOS and MSWindows.

yappi

Yet Another Python Profiler, but this time multithreading, asyncio and gevent aware.

cron-utils

Cron utils for parsing, validations and human readable descriptions as well as date/time interoperability.

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

V2RayXS

GUI for xray-core on macOS

chronon

Chronon is a data platform for serving for AI/ML applications.

qaul.net

Internet Independent Wireless Mesh Communication App

paperprograms

Run Javascript on pieces of paper!

acl2

ACL2 System and Books as Maintained by the Community

racket-langserver

sqlitefs

sqlite as a filesystem

bookstore

📚 Notebook storage and publishing workflows for the masses

TAPL

Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

rootvg

A 2D vector graphics library optimized for GUIs, written in Rust and wgpu