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