GaloisInc/LIMA

LIMA: Language for Integrated Modeling and Analysis

语言：Haskell · GitHub 星标：12 · Fork：2

话题：code-generation · distributed-systems · fault-tolerance · language · model-checking

在 GitHub 上查看原仓库