Starred repositories
Lösung und Bewertung zur 1. und 2. Runde des 42. BwInf und Aufgaben der Endrunde
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Graphviz DOT rendering and animated transitions using D3
Visualize Your Ideas With Code
An experimental cross-platform graphical user interface (GUI) crate for Rust.
Awesome list for Hyprland [maintainer=@yavko]
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
This is a background removing tool powered by InSPyReNet (ACCV 2022)
A Svelte store that persists to localStorage
Frontend zum Jugend forscht-Projekt "sorting the colors: Dimensionsbezogene Generalisierung vergleichsbasierter Sortierung"
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…
Convenient Rust-like string formatting in Typst (previously "typst-strfmt")
TypeScript-first schema validation with static type inference
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
The personal information dashboard for your terminal
A new markup-based typesetting system that is powerful and easy to learn.
A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀
Mobile/Web chess UI for lichess.org
A webapp to view german Train Station-Boards
A TypeScript chess library for chess move generation/validation, piece placement/movement, and check/checkmate/draw detection
