Pinned Loading

1. AdaCore/Ada-IntelliJ AdaCore/Ada-IntelliJ Public

   Support for Ada and SPARK languages in IntelliJ IDEA

   Java 21 8

2. GeoMeteorites GeoMeteorites Public

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

   JavaScript 3 2

3. ORCA ORCA Public

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

   C++ 8 4

4. No-Trust/peerster No-Trust/peerster Public

   Decentralized Chat with file sharing.

   Go 3 1

5. AdaCore/ada_language_server AdaCore/ada_language_server Public

   Server implementing the Microsoft Language Protocol for Ada and SPARK

   Ada 235 55

6. project-imhof project-imhof Public

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

   Java 1