阿格达内核 Jupyter的实验性Agda内核。 在 。 例子 您可以直接通过mybinder界面启动以下示例: 。 或者,如果您有,则可以在本地使用 : repo2docker https://gi
pierogi:一种实验性编程语言
dnd5e-quickref Icara 5E Homebrew快速参考表 资料来源 所有图标均由从派生的原始代码提供。 这包括基本5E游戏的状态,如果您需要真实的规则,请去那里。
js元素 一个研发项目,用于评估组件自定义元素的替代方法。 免责声明: 项目尚处于早期状态......顺便说一句:目前,它不打算在生产中使用。 例子 例子1 import { define , h ,
cxx前端 C ++ 20的解析器。 用法 const { parse } = require ( "cxx-frontend" ) ; const path = "ma
kiki是一个实验性社交网络。 奇奇与其他社交网络有何不同? 主要区别在于社交网络始终存在于您的计算机上。 这意味着kiki将脱机工作,并且没有人会跟踪您。 在kiki中,您是云的一部分。 当您使用k
JupiteerOS:实验性32位操作系统
mattlude:OCaml Prelude库的实验性添加
实验原型。
DeFiOptions 实验性DeFi期权交易智能合约,可以买入和卖出标记,抵押,现金可设定的欧式期权的多头和空头头寸。 采取了一种动态的方法来确保写期权的抵押品,利用有利的开仓者的未平仓期权头寸来减