Ira Fesefeldt
PhoenixIra
PhD Student of computer science at RWTH Aachen University. Works at the Chair for Software Modeling and Verification.
RWTH Aachen
Germany, Aachen
Joined November 2014
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
CSSUpdated 11/12/2024
radicale-auth-ldap-plugin
LDAP authentication plugin (v0.3) for radicale DAV server- works with OPENLDAP and LLDAP
PythonUpdated 6/20/2024
pyalgotask
Python software to generate tasks executing algorithms, as often seen in undergraduate algorithms classes.
PythonUpdated 8/25/2023
home-assistant
:house_with_garden: Open source home automation that puts local control and privacy first.
Updated 5/23/2022
scm-ldap-plugin
Authentication for SCM-Manager using LDAP
Updated 4/17/2021