-
TU Dresden
- Dresden
-
21:10
- 1h ahead - https://kbs.inf.tu-dresden.de/max
- https://orcid.org/0000-0003-1479-0341
- @korenchkin@chaos.social
-
-
ical2org Public
Convert ical calendars to org agendas
-
subtitleStatus Public
Forked from c3subtitles/subtitleStatusDjango Code for the Webpage
Python UpdatedJan 6, 2025 -
brother_ql_web Public
Forked from FriedrichFroebel/brother_ql_webA Python-based web service to print labels on Brother QL label printers. Based on brother_ql: https://github.com/pklaus/brother_ql
Python GNU General Public License v3.0 UpdatedNov 29, 2024 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedSep 9, 2024 -
-
-
-
quasar Public
Forked from queezle42/quasarHaskell BSD 2-Clause "Simplified" License UpdatedMar 1, 2024 -
rq Public
Forked from slotThe/rqFunctional command-line JSON processor
Rust GNU General Public License v3.0 UpdatedFeb 5, 2024 -
ntfd Public
Forked from albertlunde123/ntfdA lightweight notification daemon for fancy desktop integrations
Haskell GNU General Public License v3.0 UpdatedNov 30, 2023 -
nix-index-database Public
Forked from nix-community/nix-index-databaseWeekly updated nix-index database
Nix MIT License UpdatedJun 12, 2023 -
nix-index Public
Forked from nix-community/nix-indexQuickly locate nix packages with specific files
Rust Other UpdatedMay 30, 2023 -
clj-nix Public
Forked from jlesquembre/clj-nixNix helpers for Clojure projects
Clojure Eclipse Public License 2.0 UpdatedSep 22, 2022 -
-
die-koma.org Public
Forked from Die-KoMa/die-koma.orgJekyll Code of the new website
HTML UpdatedMar 9, 2021 -
curry Public
Mathematical examples in Haskell
-
minitrue Public
The Ministry of Truth.
-
conexp-clj Public
Forked from tomhanika/conexp-cljA General-Purpose Tool for Formal Concept Analysis
Clojure Eclipse Public License 1.0 UpdatedJun 18, 2019 -
wikidata-fca Public
Tools for applying FCA to Wikidata
-
-
TheoLog Public
Forked from knowsys/TheoLogVorlesungsunterlagen "Theoretische Informatik und Logik"
TeX UpdatedFeb 20, 2018 -
FormaleSysteme Public
Forked from knowsys/FormaleSystemeUnterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
TeX UpdatedApr 5, 2017 -
manganese Public
MIDI analysis & visualization platform
C++ GNU General Public License v2.0 UpdatedJan 19, 2017 -
brainfuck Public
Brainfuck interpreter
-
jebediah Public
Experimental music playground
Haskell GNU General Public License v3.0 UpdatedJun 19, 2016 -
django-account Public
Patched version of https://pypi.python.org/pypi/django-account/0.1.14
-
django-urlauth Public
Patched version of https://pypi.python.org/pypi/django-urlauth/0.1.8
Python UpdatedMay 15, 2016 -
graph-algorithms Public
Implementation of various graph algorithms, including Bellman-Ford-Moore, Prim, Kruskal
C++ ISC License UpdatedApr 28, 2016 -
koma-bot Public
Forked from thelegy/koma-bot(Twitter) Bot for the KoMa
Python GNU General Public License v3.0 UpdatedNov 29, 2015