Pinned Loading

1. qisabelle qisabelle Public

   Query the Isabelle proof assistant with python

   Scala 2

2. sallow sallow Public

   An algorithm for finding treedepth decompositions

   C++ 2

3. abbrevIso abbrevIso Public

   Publication title abbreviation per ISO-4 standard

   JavaScript 47 9

4. tokenzeroBot tokenzeroBot Public

   Wikipedia bots

   HTML 1