tudalgo / fopbotLinks
A small environment with robot agents used for teaching programming basics
☆9Updated this week
Alternatives and similar repositories for fopbot
Users that are interested in fopbot are comparing it to the libraries listed below
Sorting:
- Java AutoGrader, Implemented in Kotlin☆27Updated last week
- Programm zum Flotten, Einfachen Runterladen von Dateien☆150Updated last week
- ☆21Updated 2 years ago
- Manage KDE Plasma with Home Manager [maintainer=@HeitorAugustoLN]☆809Updated last week
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@awwpotato, @danth, @trueNAHO]☆1,678Updated this week
- A nix library for modifying spotify with https://github.com/spicetify☆304Updated this week
- General-purpose template for computer science theses at the TU Darmstadt.☆17Updated 8 months ago
- Yet another Nix CLI helper. [Maintainers=@viperML, @NotAShelf]☆1,532Updated this week
- Install flatpaks declaratively☆516Updated last month
- A simple gtk4/libadwaita software center to easily install and manage nix packages☆687Updated 7 months ago
- Programmierparadigmen-Tutorium 2022WS☆28Updated 2 years ago
- ❄️ NixOs / Hyprland rice with Home-Manager ❄️☆622Updated last week
- Community-driven Nix Flake for the Zen browser☆381Updated this week
- My NixOS configuration flake that moggs yours in term of eval times☆835Updated last week
- An attempt to better support Minecraft-related content for the Nix ecosystem☆366Updated last week
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆139Updated 2 years ago
- My overengineered NixOS flake. Desktops, laptops, servers and everything else that can run an OS.☆391Updated 10 months ago
- ❄️ Soothing pastel theme for Nix☆533Updated last week
- NixOS system config & Home-Manager user config☆931Updated 2 weeks ago
- Nix related artwork☆424Updated this week
- A libadwaita/gtk4 app for editing NixOS configurations☆566Updated last year
- nixos configs/dotfiles☆11Updated last week
- Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]☆1,157Updated last week
- Gaming on Nix☆714Updated this week
- Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…☆332Updated this week
- Lernmaterialien LA I/II☆34Updated 7 years ago
- Workspace overview plugin for Hyprland☆783Updated 2 weeks ago
- Convert dconf files (e.g. GNOME Shell) to Nix, as expected by Home Manager [maintainer=@jtojnar]☆279Updated last year
- Personal nixos and home-manager configurations.☆1,028Updated this week
- Eine Zusammenfassung der Folien des Fachs: Algorithmen und Datenstrukturen im Jahr 2020☆11Updated last year