可编程逻辑控制器
Atividades básicas de PLC (2019-10-18, Haskell, 1KB, 下载0次)
命题逻辑检查器。
Propositional logic checker. (2015-08-11, Haskell, 10KB, 下载0次)
从Plutus Core到LLVM IR的编译器。
A compiler from Plutus Core to LLVM IR. (2023-03-13, Haskell, 157KB, 下载0次)