lan

🦀 强化 Neovim 中的 Rust 开发体验！基于 rust-tools.nvim 深度定制的分支版本

Agda是一种依赖类型编程语言/交互式定理证明器。

采用 Flutter 开发的移动版 SpotiFLAC，由高性能 Go 后端驱动。可从 Tidal、Qobuz 和 Amazon Music 下载真正的 FLAC 格式 Spotify 曲目——无需账户、无广告、无订阅。

为自托管用户设计的高性能反向代理与容器编排器

使用PyTorch从零开始逐步实现一个推理大语言模型

Julia交互式数据可视化与绘图

专为Rust语言Wayland合成器打造的工作坊

💥💻💥 一种数据并行的函数式编程语言

多语言预配置代码片段集合

作为独立或基于Kubernetes的应用网关管理Envoy代理

各类网盘直链解析服务，已支持蓝奏云/蓝奏优享/小飞机盘/123云盘/移动联通/天翼云等。支持文件夹分享解析。体验地址：https://lz.qaiu.top http://www.722shop.top:6401

你好 Nvimer，欢乐的 Gopher：探索专为 Neovim 打造的功能丰富的 Go 插件

免费反指纹浏览器，指纹浏览器，隐私浏览器，防识别浏览器，反识别浏览器，防关联浏览器，免费的 Web3 空投专用指纹浏览器 https://vbhub.net/?src=github

💻构建一套代码库，即可在Windows、Linux及Web平台上获得原生UI体验 （注：严格遵循技术翻译准则，采用"代码库"对应"codebase"，"原生UI"对应"native UI"，并保持原文的简洁技术风格。平台名称按行业标准保留英文大写格式，使用"及"连接多平台体现技术文档的严谨性。）

zenoh 统一了动态数据、使用中数据、静态数据及计算任务。

开源AI相机技能平台，AI网络视频录像机与闭路电视监控系统。

一本关于 Zig 编程语言的开放式技术入门书籍 📚📖

☁️ Ultra-fast, secure & lightweight self-hosted cloud storage — your files, photos, calendars & contacts, all in one place. Built in Rust.

🦙 MegaLinter 通过 GitHub Action、其他 CI 工具或本地方式，分析您仓库源代码中的 50 种语言、22 种格式、21 种工具格式、过度复制粘贴、拼写错误及安全问题

数学优化建模语言（涵盖线性、混合整数、锥规划、半定规划及非线性问题）

面向种子和新闻组的现代化、易用下载自动化工具。

一款适用于班级多媒体屏幕的课表信息显示工具，可直观呈现各类信息

Xash3D FWGS引擎

具有丰富IDE功能的Scala语言服务器 🚀