这里存放的是我认为的一些有趣,但缺少维护的项目。 它们就像一株株仙人掌 🌵,或许只需要一点点水、少许关注就能存活下去。
- 最低限度的努力是给每一个项目配置好 CI,这样可以保证可用性。
这里存放的是我认为的一些有趣,但缺少维护的项目。 它们就像一株株仙人掌 🌵,或许只需要一点点水、少许关注就能存活下去。
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek. 2018. Julia subtyping: a rational reconstruction. Proc. ACM Program. Lang. 2, OOPSLA, Article 113 (November 2018)
线性化 git 提交历史的 rvcc 项目;对于第 N 个提交,你可以签出 `git checkout 000000{N-1}`
计算机代数系统的数学理论(Mathematica Theory of Computer Algebra System,MTCAS)
This organization has no public members. You must be a member to see who’s a part of this organization.
Loading…
Loading…