Pinned Loading

1. OpenVADL/openvadl OpenVADL/openvadl Public

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

   Java 35 2

2. regex-gen regex-gen Public

   Generate random strings from a regular expression

   Kotlin

3. minicheck minicheck Public

   CTL Model Checker written in Haskell

   Haskell

4. koco koco Public

   Coco/R ported to Kotlin

   Java 1

5. sat-forth sat-forth Public

   A SAT solver implemented in Forth

   Forth

6. json-path-finder json-path-finder Public

   Find the JSONPath of a JSON property by simply selecting it.

   TypeScript