Highlights
- Pro
-
-
-
-
shrineOS Public
We are building an operating system accompanying a uni lecture.
C MIT License UpdatedJan 23, 2024 -
amos2023ws03-gui-frame-diff Public
Forked from amosproj/amos2023ws03-gui-frame-diffKotlin MIT License UpdatedDec 7, 2023 -
-
telegram-polls-summarizer Public
Grabs all polls from a chat group and creates scores for the participating players.
Python UpdatedJun 21, 2023 -
nvim-tree.lua Public
Forked from nvim-tree/nvim-tree.luaA file explorer tree for neovim written in lua
Lua Other UpdatedJun 11, 2023 -
beanie Public
Forked from BeanieODM/beanieAsynchronous Python ODM for MongoDB
Python Apache License 2.0 UpdatedMay 23, 2023 -
pass-winmenu Public
Forked from geluk/pass-winmenuAn easy-to-use password manager for Windows, compatible with pass.
C# MIT License UpdatedFeb 26, 2023 -
nvim-treesitter Public
Forked from nvim-treesitter/nvim-treesitterNvim Treesitter configurations and abstraction layer
Scheme Apache License 2.0 UpdatedFeb 24, 2023 -
docker-images-flutter Public
Forked from cirruslabs/docker-images-flutterDocker Images for Flutter
Dockerfile MIT License UpdatedFeb 23, 2023 -
-
quellenreiter_app Public
Forked from QuellenReiter/quellenreiter_appDart MIT License UpdatedFeb 5, 2023 -
neovim Public
Forked from neovim/neovimVim-fork focused on extensibility and usability
Vim Script Other UpdatedJan 26, 2023 -
dna-seq-gatk-variant-calling Public
Forked from snakemake-workflows/dna-seq-gatk-variant-callingThis Snakemake pipeline implements the GATK best-practices workflow
Python MIT License UpdatedDec 20, 2022 -
-
semantik-von-programmiersprachen-sose2022 Public
Forked from jneuendorf/semantik-von-programmiersprachen-sose2022Vorlesungsskript zu "Semantik von Programmiersprachen" (Sommer Semester 2022)
TeX Other UpdatedJul 29, 2022 -
brute1000 Public
Forked from feldroop/brute1000Solving the game Potz1000 using dynamic programming
Rust UpdatedMar 29, 2022 -
kanagawa.nvim Public
Forked from rebelot/kanagawa.nvimNeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.
Lua MIT License UpdatedMar 21, 2022 -
potz1k_bot Public
A reinforcement learning approach to solving the game "Potz Tausend".
-
-
-
AlignmentChallenge Public
Challenge for runtime optimization of the Needleman-Wunsch-Algorithm
C++ UpdatedJul 5, 2021 -
-
-
OpenMS Public
Forked from OpenMS/OpenMSThe codebase of the OpenMS project
C++ Other UpdatedJun 2, 2020 -
TimeFinder Public
Forked from feldroop/TimeFinderA discord bot to find common available times for meetings.
Python GNU General Public License v3.0 UpdatedApr 19, 2020