lan

支持GPU的非线性规划求解器

为SciML科学机器学习组织提供的数值积分与求积通用接口

🪢 Langfuse 文档 —— Langfuse 是开源的 LLM 工程平台。提供可观测性、评估、提示词管理、游乐场和指标功能，用于调试和改进 LLM 应用

用于Erlang和Elixir的OpenId Connect客户端库

用于构建自主私有PaaS的Elixir框架

通过Achordion等高级QMK功能增强您的Oryx布局，同时保留通过Oryx编辑的能力，并借助GitHub Actions无缝完成构建。

适用于Rocq/Coq的Visual Studio Code扩展和语言服务器协议 [维护者=@gbdrt,@SkySkimmer,@tabareau]

一个用于在生产环境中运行AI Foundry工作负载的安全、可扩展且集成化的部署方案。

@vlang语言服务器，满足您所有编辑需求，如跳转到定义、代码补全、类型提示等功能。

在esp-idf上运行Zig

Julia线性算子库

韩：“Solo”产品工程师和小团队的人工智能技能和代理

纯Elixir实现的Lua 5.3运行时

基于Actor模型、类型安全且快速的编程语言。

Smart Island 是 Android 动态岛体验的现代开源实现。它将通知、媒体播放、来电、定时器、充电状态和其他实时活动转变为一个美丽的浮岛，具有流畅的动画和优质的用户体验。

生成一切（专注于研究型软件）

用于分布式系统与点对点网络的编程语言

为HyperOS带来原生灵动岛体验。将安卓通知桥接至HyperIslands

FS25 泰拉农场

Modelica语言规范

面向高效科学计算的Julia跨平台CPU/GPU数组库，支持parallel_for/parallel_reduce并行操作。

基于trails的Cowboy Swagger集成

正确入门，成为Shell原住民。此为正道。

用于为HTTP/HTTPS流量配置标准应用负载均衡器的Terraform模块。