-
-
al-folio Public template
Forked from alshedivat/al-folioA beautiful, simple, clean, and responsive Jekyll theme for academics
HTML MIT License UpdatedSep 30, 2023 -
CSrankings Public
Forked from emeryberger/CSrankingsA 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 Other UpdatedSep 3, 2023 -
-
-
gym Public
Forked from openai/gymA toolkit for developing and comparing reinforcement learning algorithms.
Python Other UpdatedJan 13, 2021 -
-
DSGame Public
This is a tool for solving discounted-sum games based on comparator automata.
C++ UpdatedApr 5, 2020 -
-
-
bosy Public
Forked from reactive-systems/bosyBoSy is a reactive synthesis tool based on constraint-solving
Swift UpdatedApr 10, 2019 -
-
-
{{ message }}