Pinned Loading

1. semantic semantic Public

   Forked from github/semantic

   Parsing, analyzing, and comparing source code across many languages

   Haskell

2. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

3. HsPropspec HsPropspec Public

   Forked from hedgehogqa/haskell-hedgehog

   Release with confidence, state-of-the-art property testing for Haskell.

   Haskell

4. Minerva Minerva Public

   A simple Java Data-Base Engine.

   Java

5. Neo-LirtenHub Neo-LirtenHub Public

   A microservices implementation of the LirtenHub platform

   Java 6