Pinned Loading

1. GSoC-2018 GSoC-2018 Public

   The post about my GSoC'18 project.

   1 1

2. VKCOM/kphp VKCOM/kphp Public

   KPHP — a PHP compiler

   C++ 1.4k 95

3. dpll-sat dpll-sat Public

   A simple DPLL-based SAT-solver implemented as a part of Mathematical Logic course.

   Python

4. TuringMachineToGrammar TuringMachineToGrammar Public

   Python