Pinned Loading

1. OpenVADL/openvadl OpenVADL/openvadl Public

   An open-source implementation of the VADL processor description language.

   Java 49 2

2. koco koco Public

   Coco/R ported to Kotlin

   Java 1

3. z3-gradle-plugin z3-gradle-plugin Public

   Gradle plugin which provides platform dependent Z3 dependencies at build time

   Kotlin

4. regex-gen regex-gen Public

   Generate random strings from a regular expression

   Kotlin

5. tifl tifl Public

   The TIFL language

   Kotlin

6. minicheck minicheck Public

   CTL Model Checker written in Haskell

   Haskell