lan

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

基于QtQuick的灵活桌面外壳开发工具包，支持Wayland与X11

精简、高效、静态类型且支持元编程的系统编程语言，深受Lua启发，可编译为C语言和原生代码。

全球最智能的全系统语法助手；Apple Intelligence写作工具的增强版。支持Windows、Linux和macOS，可配合免费Gemini API、本地大语言模型等使用。

一款受MacOS Niri和Hyprland启发的平铺式窗口管理器，已获得开发者签名和公证，适用于受管理的企业环境。

用于文学编程法律规范的编程语言

Eclipse iceoryx2™ - 基于Rust核心的真正零拷贝进程间通信

面向ArduPilot的任务规划器地面控制站（基于C# .NET框架）

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

动手学Ollama，在CPU上玩转大模型部署，在线阅读地址：https://datawhalechina.github.io/handy-ollama/

一款面向学生和创作者的快速开源Markdown笔记应用

交互式Go面试平台——提供30余个编程挑战，包含即时反馈、AI面试模拟、竞争性排行榜和自动化测试。从初级到高级，涵盖真实场景。

🔯 现代化、功能全面的 Hugo 主题，用于创建精美的文档、博客和静态网站

Codex/ChatGPT 多账户负载均衡与代理，支持用量追踪、仪表盘及兼容 OpenCode 的端点

一个云原生、多租户的 Postgres 连接池工具。

MicroZig 是用于构建 Zig 嵌入式应用程序的工具箱

免费获取GPT-5.5、Claude、DeepSeek、Gemini、Grok的LLM API密钥——复制、粘贴、使用。每日更新3-5次。无需信用卡。

在MacBook刘海屏中实时显示AI编程助手状态面板——支持13款AI工具的状态监控、审批与回复，并配有iPhone及Apple Watch端应用

Postgres变更数据捕获至数据流、队列及搜索引擎（如Kafka、SQS、Elasticsearch、HTTP端点等）

微型Erlang虚拟机

流程控制：一款面向程序员的文本编辑器

一款非常优雅的米饭

使用Liquid AI基础模型与LEAP SDK构建的示例、端到端教程及应用

基于wlroots与scenefx的Wayland混成器（dwl风格但非suckless架构）