JML的Coq定义和验证的运行时断言检查器[maintainer=[@palmskog]（https:github.com palmskog）]，
Coq definition of JML and a verified runtime assertion checker [maintainer=[@palmskog](https: github.com palmskog)], (2023-01-04, Coq, 0KB, 下载0次)
自由公平制表器将以基于开放JSON的格式指定的数字投票记录记录到选举结果中。表格...，
The Free & Fair Tabulator tallies digital Cast Vote Records, specified in an open JSON-based format, into an election result. The Tabulator is formally specified in BON and Coq, and is implemented via extraction to Haskell from Coq and in SPARK. (2017-05-16, Coq, 0KB, 下载0次)
Brenner是一个用于推理任务并行性和屏障同步的演算。这个演算提炼了移相器和...的语义...，
Brenner is a calculus for reasoning about task parallelism and barrier synchronization. This calculus distils the semantics of phasers and unifies the synchronisation patterns of various abstractions. (2018-01-23, Coq, 0KB, 下载0次)
用于NodeJ开发人员的Coqui STT离线引擎API。使用简单的HTTP ASR服务器。，
Coqui STT offline engine API for NodeJs developers. With a simple HTTP ASR server., (2021-06-08, JavaScript, 0KB, 下载0次)