Pinned

1. ddctl ddctl Public

   A BDD-based model checker (K ⊨ φ ) (CTL - Computational Tree Logic Only)

   Python 2

2. pywasm pywasm Public

   Toy python to wasm/x86 compiler written in python

   JavaScript

3. souper souper Public

   Forked from google/souper

   A superoptimizer for LLVM IR

   C++ 1

4. signless signless Public

   Anonymous publishing platform

   JavaScript

5. fetchyt fetchyt Public

   A command line utility to decode fmt url encoded stream map.

   C++ 1

6. rolac rolac Public

   A command line utility to manage user accounts based on role

   C++