A 3rd party Bilibili audio player / 一个Bilibili第三方音频播放器

符合nature论文学术表达和科研绘图的Skill

死神vs火影 是一个由 剑jian 及其所属制作组 5DPLAY Game Studio 制作的同人新概念策略格斗游戏。 在这里，你可以挑战自己操作与反应的极限，也可以作为团队的核心决策这体验运筹帷幄的畅快。

死神vs火影 是一个由 剑jian 及其所属制作组 5DPLAY Game Studio 制作的同人新概念策略格斗游戏。 在这里，你可以挑战自己操作与反应的极限，也可以作为团队的核心决策这体验运筹帷幄的畅快。

刷力扣试试 每天一题左右

Isabelle theorem prover support for Zed editor

NixOS 中文 Telegram 群组成员配置文件

I have experienced nixos for a long time and the design of using configuration.nix really shocked me , thus I upload my nix document of configuration , glad to hear some comment.

Can we mitigate eBPF Verifier bugs using Safe Rust or PREVAIL?

A pure functional language for system configuration and package management / 纯函数式系统配置与包管理语言

Writing an OS in Rust

Linux kernel source tree

A Rust implementation of the Linux kernel BPF verifier

这是个数据库管理软件 纯rust编写 神速并且支持helix键位 支持mysql postgresql sqlite 恳请大家前来尝试 欢迎大家提出建议

A post-modern modal text editor.

Analyze Rust crates without touching compiler internals

my practice in rust-learning as a newbee

使用 Rust 语言重新实现 https://github.com/zjhellofss/KuiperInfer 和 https://github.com/zjhellofss/kuiperdatawhale 中的深度学习推理框架。

Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.

Rust bindings for the C++ api of PyTorch.

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience

✨Arch Linux安装使用教程 每日实时更新！ | 包含ArchLinux从安装到日常使用、娱乐、编程、媒体制作的各个方面，让Arch成为你的常用系统吧！ | 提供在线网页文档 ✨

计算机自学指南

Moved to Codeberg