Pinned Loading

1. android-apps-similarity android-apps-similarity Public

   Android apps similarity score computation

   Python 1

2. babel-plugin-operators-chaining babel-plugin-operators-chaining Public

   Transpile arithmetic comparison chains to logical expressions

   JavaScript

3. minijava-compiler minijava-compiler Public

   Compiler for a minimal version of java specification called minijava

   Java

4. qc-to-lh qc-to-lh Public

   LiquidHaskell Proof Generator

   Haskell

5. vscode-liquidhaskell vscode-liquidhaskell Public

   VSCode extension for liquidhaskell

   TypeScript

6. blockcv blockcv Public

   Hyperledger Fabric based blockchain for an app that certifies the information put into workers profiles (resumes).

   Java 2