TGViewer
GitHub开源观察｜开源项目·热门仓库·开发者 GitHub开源观察｜开源项目·热门仓库·开发者 @githubtrendinghub · 745 subscribers
Post #866 28
Cordis：时空组合性的元框架

Cordis 是一个面向时空组合性的元框架，目前处于积极开发阶段，API 尚不稳定，可能随时变更。项目附带论文《A Programming Paradigm for Spatiotemporal Composability》及文档 cordis-primer。

这个框架面向需要处理时空维度组合逻辑的开发者，试图在编程范式层面提供统一的抽象能力。如果你在构建涉及空间与时间维度交织的系统，可以关注其设计思路；但考虑到 API 未稳定，生产环境接入需谨慎评估。

GitHub

#GitHub #开源 #Cordis #时空组合 #元框架 #编程范式
@GitHubTrendingHub
Open in Telegram All posts from @githubtrendinghub
More from @githubtrendinghub
  1. Sep 29, 2026AERIS-10：开源低成本 10.5 GHz 相控阵雷达 面向研究者、无人机开发者与 SDR 爱好者，提供完整开源硬件与软件，可动手实验波束成形、脉冲压缩、多普勒处理与目标跟踪。…
  2. Sep 29, 2026人生进阶指南：AI 时代的终身学习书稿 韩先凯（笔名离谱）撰写、持续更新的开放书稿，从英语学习出发，延伸到 AI 学习、真实项目、创业失败与人生恢复，帮普通人在 AI 时代留下可验…
  3. Sep 29, 2026LogCarver：无需 CDC 或审计即可恢复 SQL Server 误删数据 多数恢复工具要求事先开启 CDC、Change Tracking 或 Audit，中小公司往往没开…
  4. Sep 28, 2026GitHub Security Lab Taskflow Agent：用 AI 工作流审计 Android 应用漏洞 GitHub Security Lab 开源的任务流代理，让安…
  5. Sep 28, 2026wpipe：面向 Python 开发者的零摩擦流水线编排 不想为了验证一段数据转换逻辑就装 Docker、Redis、Postgres，再等调度器轮询？wpipe 是一个可嵌入的纯…
  6. Sep 28, 2026Nura：让旧手机再战十年的 Linux 移动系统 postmarketOS 正式更名为 Nura，在项目会议上公布，结束了去年 3 月启动的改名流程。旧名字太长、跨语言难发音，且…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →