hpi23 / spracheLinks
The official programming language of the Hasso Plattner Institute.
☆13Updated 3 weeks ago
Alternatives and similar repositories for sprache
Users that are interested in sprache are comparing it to the libraries listed below
Sorting:
- Rust-based interpreter for the DreamBerd (https://github.com/TodePond/DreamBerd) language☆49Updated last year
- This is a telegram bot written in go that allows you to record the current length of the Griebnitzsee mensa queue.☆10Updated 3 months ago
- Android app for @Traewelling public transport check-in service☆111Updated 2 weeks ago
- Crawler of regenbogen-ice☆12Updated last year
- Der Kompilierer der Deutschen Programmiersprache☆161Updated last month
- A package to render skeletal formulas in a human-readable format using cetz☆27Updated last week
- A typst wasm plugin to use graphviz directly inside documents☆128Updated last month
- This repository collects German public transport line colors.☆44Updated 7 months ago
- Typst Plotting Library☆88Updated 2 years ago
- The Samarium Programming Language☆33Updated 7 months ago
- Frontend of regenbogen-ice☆11Updated 7 months ago
- ☆43Updated 2 months ago
- A discord bot to render Typst code☆86Updated last week
- Rust programming, in Swissgerman☆176Updated last year
- Rust programming, in any language. Write rust like a true polyglot.☆113Updated 5 months ago
- Application for communication and collective exchange of menu information in university catering facilities☆58Updated 2 months ago
- test☆101Updated 2 years ago
- ☆249Updated last year
- A Typst package for typesetting pseudocode☆75Updated last month
- Arrows for Typst paths and other stories☆36Updated 3 months ago
- Der vorliegende Datansatz enthält umfassende Informationen zu SARS-CoV-2-Infektionen in Deutschland, die gemäß dem Infektionsschutzgesetz…☆74Updated this week
- ☆24Updated 3 months ago
- A minimal and simplistic Typst template for presentations.☆55Updated last year
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆49Updated 2 months ago
- What if you could combine the power of chat bots, streamer support sites and social media? This is chat overflow.☆57Updated 5 years ago
- Beautiful and reliable typst code formatter☆621Updated 3 weeks ago
- Create Plots and Charts with CeTZ☆197Updated 2 weeks ago
- Free check-in service to log your public transit journeys☆321Updated this week
- A Typst package for even better code blocks☆245Updated 3 weeks ago
- Show your current ride in discord via the ICE portal api☆14Updated 8 months ago