Pinned Loading

1. microbit-python-simulator microbit-python-simulator Public

   Microbit Python Simulator is a simulator for the microbit written in python.

   Python 4

2. ProgProving ProgProving Public

   ProgProving is a LaTeX package that aims to help people prove their codes.

   TeX 1 2

3. ImageAnalyst ImageAnalyst Public

   ImageAnalyst is a library that simplifies image analysis.

   Python

4. EasINGInious EasINGInious Public

   EasINGInious is a project which tries to simplify the installation of INGInious by using Docker and by fixing dependency version issues.

   Dockerfile

5. manim-dataflow-analysis manim-dataflow-analysis Public

   manim-dataflow-analysis is a library that improves manim so that it can generate dataflow analysis animations.

   Python

6. pynguin pynguin Public

   Forked from se2p/pynguin

   The PYthoN General UnIt Test geNerator is a test-generation tool for Python

   Python