Popular repositories

1. Sorcar Sorcar Public

   Forked from ssaha6/Sorcar

   C

2. DT-synth DT-synth Public

   Forked from OliverMa1/DT-synth

   Decision Tree Learning Algorithm for Reactive Synthesis

   Python

3. parameterized-learning parameterized-learning Public

   Forked from OliverMa1/parameterized-learning

   Java

4. Applied-Verification-Lab-Neural-Networks-2022 Applied-Verification-Lab-Neural-Networks-2022 Public

   Forked from DDiekmann/Applied-Verification-Lab-Neural-Networks

   Some tutorials for different approaches to verify neural networks.

   Jupyter Notebook

5. CSrankings CSrankings Public

   Forked from emeryberger/CSrankings

   A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

   Python

6. stochastic-reward-machines stochastic-reward-machines Public

   Forked from corazza/stochastic-reward-machines

   C++