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. Rodin-OXO Rodin-OXO Public

   Rodin OXO is a simple Rodin modelisation of an OXO game for educational purposes.

   1 1

4. ImageAnalyst ImageAnalyst Public

   ImageAnalyst is a library that simplifies image analysis.

   Python

5. Python-Windscribe Python-Windscribe Public

   Python Windscribe CLI Wrapper

   Python 4

6. django-htmx-todo django-htmx-todo Public

   django-htmx-todo is a basic todo application to test Django with HTMX.

   Python