多属性概率系统模型检查器,
Multiple properties Probabilistic systems Model checker, (2023-08-03, Raku, 0KB, 下载0次)
适用于生成不同类型笔记本(Mathematica、RMarkdown、Jupyter)的标记分析器
Markdown parser suitable for generation of notebooks of different kind (Mathematica, RMarkdown, Jupyter.) (2023-02-25, Raku, 0KB, 下载0次)