Skip to content
View raja-s's full-sized avatar
🐱
🐱
9 followers · 5 following
  • EPFL
  • Lausanne, Switzerland
  • 02:22 (UTC +01:00)
  • LinkedIn in/rsoufi

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report raja-s

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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. ORCA ORCA Public

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

    C++ 11 4

  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. AdaCore/ada_language_server AdaCore/ada_language_server Public

    Server implementing the Microsoft Language Protocol for Ada and SPARK

    Ada 288 68

  6. AdaCore/Ada-IntelliJ AdaCore/Ada-IntelliJ Public

    Support for Ada and SPARK languages in IntelliJ IDEA

    Java 22 8