Explore projects
-
Updated
-
Updated
-
-
Michael Sammler / BBI-Coq
MIT LicenseUpdated -
Updated
-
Updated
-
SysWCEC-uArch / dosek
OtherUpdated -
LaTeX template for elaborations at the i7.
Updated -
Das klassische Zweipersonen-Strategiespiel Tic-Tac-Toe für das SPiCboard
Updated -
-
PragMetis / ruby-dhallish
MIT LicenseUpdated -
-
The main goal of this application is to help students understand how parallel and series circuits works.
Updated -
Updated
-
flood fill based schnake bot with limited support for specials
Updated -
Trying to build a basic twitter-like service that works with ActivityPub.
Updated -
Philip Kaluđerčić / studon-to-irc
Creative Commons Zero v1.0 UniversalStudOn/ILIAS to IRC bot
Updated -
Updated
-
Updated