ca

一个基于流的运行时验证框架，用于生成硬实时C代码。

适用于Bukkit/Spigot API的最佳身份验证插件！

Cotabby 是一款面向整个 Mac 的本地 AI 自动补全工具。开源。运行在设备端。覆盖你所有输入场景。

ForgeCAD 公共配套工具包：包含示例、代理技能、文档链接和问题追踪。托管的 CAD 应用及核心源代码位于其他位置。

Homework Submission, Automated Grading, and TA grading system.

帮助使用微软身份平台和Azure AD B2C构建受保护的Web应用与Web API

🤖 收集实用的AI仓库、工具、网站、论文和教程。实用的AI百宝箱💎

Artemis - 具备自动反馈的交互式学习

EEGLAB是一个基于Matlab运行的开源电生理信号处理环境，由SCCN/UCSD开发

支持 iOS 和 macOS 应用使用 Google 账号登录

可脚本化的桌面应用，用于校正图像的透视

（免费建站工具）——一款可定制/可扩展的Jekyll主题，专为开发者打造。🚀 只需数分钟即可通过Markdown或CMS撰写博客，✨ 支持内容管理系统。

✨ AI Gist 是一款隐私优先的 AI 提示词管理工具，致力于让个人收藏的 AI 提示词能够发挥最大价值。

Vaadin Flow是一个将Vaadin Web组件绑定到Java的Java框架。这是Vaadin 10+的一部分。

Monica Pass，密码管理，两步验证码生成器

用于自动化实时数据操作的低代码工具 | 面向用户的流处理。

OCaml代码的自动格式化工具

HStreamDB 是一款面向物联网及其他领域的开源云原生流数据库，助您为实时应用现代化数据栈。

Trixi.jl：Julia中守恒定律的自适应高阶数值模拟

CORE-V系列RISC-V内核的功能验证项目

A private Certificate Authority for internal (lab) use, based on the open source ACME Automated Certificate Management Environment implementation from Let's Encrypt (tm).

caelestia-shell 移植到 KDE Plasma 6

ClassQuiz是一款类似Kahoot!的开源问答应用程序

Local Windows iPhone/iPad mirroring over USB and AirPlay with D3D11 preview, multi-device sessions, OBS output, and a standalone driver manager.