Pinned Loading

1. project-imhof project-imhof Public

   Map generator out of OSM and HGT elevation file inputs 🗺️

   Java 1

2. GeoMeteorites GeoMeteorites Public

   An interactive visualization of the history of meteorites on Earth 🌍☄️

   JavaScript 3 2

3. sorting-playground sorting-playground Public

   A basic Python playground for experimenting with sorting algorithms.

   TypeScript

4. thonny-pseudocode thonny-pseudocode Public

   A Thonny plugin that generates inline pseudocode on-demand, explaining the Python source code line-by-line, powered by the PyToPseu project.

   Python

5. ORCA ORCA Public

   An attempt at a simple implementation of the ORCA algorithm 🤖💢🤖📋

   C++ 11 4

6. AdaCore/ada_language_server AdaCore/ada_language_server Public

   Server implementing the Microsoft Language Protocol for Ada and SPARK

   Ada 299 69