-
syng Public
All in one karaoke software
-
-
-
-
qasync Public
Forked from CabbageDevelopment/qasyncPython library for using asyncio in Qt-based applications.
Python BSD 2-Clause "Simplified" License UpdatedJul 23, 2025 -
-
-
syngbot-matrix Public
A matrix bot using maubot to connect to a syng instance
Python UpdatedApr 14, 2025 -
-
-
-
flathub Public
Forked from flathub/flathubIssue tracker and new submissions
GNU Lesser General Public License v2.1 UpdatedSep 24, 2024 -
mtgo-vintage-cube Public
Git repository of all cards in the MTGO Vintage cube. One tag for each release.
2 UpdatedMar 25, 2024 -
syng_legacy Public archive
Syng is a webbased karaoke client written in Python
-
pyautosplit Public
Autosplitter for Linux (for the LiveSplit Server)
-
jellyfin-web Public
Forked from ConfusedPolarBear/jellyfin-webWeb Interface for Jellyfin
JavaScript GNU General Public License v2.0 UpdatedSep 29, 2022 -
latex-exsheetans Public
A LaTeX documentclass for submissions for exercise sheets
-
Interactive-Typechecker Public
Forked from tymOx64/Interactive-TypecheckerAn interactive web application for learning the fundamental concepts of type inference.
Elm Apache License 2.0 UpdatedOct 29, 2021 -
PrincInh Public
coq files for the master's thesis "Prinzipale Inhabitation im einfach getypten Lambda-Kalkül"
TeX UpdatedAug 10, 2021 -
-
-
matrix-corporal-policy-ldap Public
Forked from sents/matrix-corporal-policy-ldapGenerate policy for matrix corporal from ldap
Python GNU Affero General Public License v3.0 UpdatedAug 26, 2020 -
split_qr_exam Public
Splits a pdf consisting of multiple exams identified by a QR code on the cover page
Python GNU General Public License v3.0 UpdatedAug 14, 2020 -
tts-man Public
A simple CLI Tabletop Simulator Manager for Linux
Python Apache License 2.0 UpdatedJun 1, 2020 -
mupen64plus-libretro-nx Public
Forked from libretro/mupen64plus-libretro-nxImproved mupen64plus libretro core reimplementation
C GNU General Public License v2.0 UpdatedFeb 4, 2020 -
cedille Public
Forked from cedille/cedilleCedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Agda MIT License UpdatedJan 23, 2020 -
tudo-cs-titlepage Public
LaTeX Package for a titlepage for thesises in the facultu of computer science at the TU Dortmund University (WIP)
TeX UpdatedJan 7, 2020 -
-
-
lambda Public
A simple lambda calculus interpreter
{{ message }}