Skip to content
View PhoenixIra's full-sized avatar

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Organizations

@moves-rwth

Block or report PhoenixIra

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

Popular repositories Loading

  1. LeanFSL LeanFSL Public

    A repository including the Lean formalization of the Dissertation "Deductive Reasoning about Concurrent Probabilistic Programs" from Ira Fesefeldt

    Lean 1

  2. jgrapht jgrapht Public

    Forked from tj-developers/jgrapht

    Master repository for the JGraphT project

    Java

  3. scm-ldap-plugin scm-ldap-plugin Public

    Forked from scm-manager/scm-ldap-plugin

    Authentication for SCM-Manager using LDAP

    Java

  4. home-assistant home-assistant Public

    Forked from home-assistant/core

    🏡 Open source home automation that puts local control and privacy first.

    Python

  5. openmensa-api openmensa-api Public

    Forked from brennerm/openmensa-api

    Python wrapper to the OpenMensa API v2

    Python

  6. pyalgotask pyalgotask Public

    Python software to generate tasks executing algorithms, as often seen in undergraduate algorithms classes.

    Python