Stars
Building a basic async runtime from scratch in embedded Rust
An open source WCH-Link library/command line tool written in Rust.
This is the final project for Natrual Language Processing(COMP130141.01) @Fudan University.
📖 Unofficial WireGuard Documentation: Setup, Usage, Configuration, and full example setups for VPNs supporting both servers & roaming clients.
Setup IPSec VPN with nat-t by iproute2
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
A Tour of C++ (Second Edition) non-official Chinese Translation
A Material UI (MUI) styled WYSIWYG rich text editor, using Tiptap
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…
Incubation repository for the new TypeScript handbook 🐣
Deterministic Maven builds using Nix [maintainer=@icetan]
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap
A collection of resources for learning type theory and type theory adjacent fields.
Duck Game decompiled & rebuilt with some added features,
一个支持节点与订阅链接的 Linux 命令行代理工具 | A command-line tool for one-click proxy in your research and development without installing v2ray or anything else (only for linux)
小米 BootLoader《解锁资格答题测试》更新记录
A library for building declarative text-based user interfaces
A small Python 3 class to handle ANSI Escape Code and convert RGB hexadecimal color values (as in #FF3100) and text decorations to print fancy text on modern terminal emulators.
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!