pgf/TikZ diagram editor

北京邮电大学XCPC——MeUmy天下第一 的算法模板

openwrt常用软件包

Haskell implemented with combinators

A massively parallel, high-level programming language

Hyprland dots, used as main repo for all my Hyprland Install Scripts.

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

Kani Rust Verifier

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

Concurrent Programming with Effect Handlers

本项目旨在分享大模型相关技术原理以及实战经验。

为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

System-wide colorscheming and typography for NixOS

NixOS MicroVMs

OCaml bindings for PyTorch

A static analyzer for Java, C, C++, and Objective-C

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Phoenix + Live View HEEX Components

React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…

shadcn/ui, but for Svelte. ✨

🚀 Power Your World with AI - Explore, Extend, Empower.

Manage your dotfiles across multiple diverse machines, securely.

An educational OLAP database system.

Safe Rust bridge for creating Erlang NIF functions

A LaTeX class for 简体中文 books, reports or theses based on https://github.com/fmarotta/kaobook

Tools to help create flutter apps in neovim using the native lsp

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust