Mathematisches Übungsgruppen- und Scheinlisten-Interface
☆27May 7, 2025Updated last year
Alternatives and similar repositories for muesli
Users that are interested in muesli are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MaMpf (Mathematical Media Platform) — an E-Learning platform for mathematics featuring a media player & editor. Developed & deployed at H…☆42Updated this week
- Programmiervorkurs der Fachschaft☆12Sep 24, 2025Updated last year
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Oct 8, 2026Updated 3 weeks ago
- Refazer: Learning Program Transformations from Examples☆30Mar 25, 2018Updated 8 years ago
- Bridges between IRC and RobustIRC☆14Dec 12, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆13Sep 23, 2026Updated last month
- icof - in case of fire.☆12Jul 23, 2022Updated 4 years ago
- A (Minimal) Perfect Hash Function based on irregular cuckoo hashing, retrieval, and overloading.☆20Sep 30, 2025Updated last year
- Winning Solver of PACE Challenge 2019 Track A☆13Mar 12, 2026Updated 7 months ago
- cyrus2dovecot with virtual domains and unixhierarchysep☆12Jun 27, 2016Updated 10 years ago
- WWW21 - How Do Hyperedges Overlap☆20Feb 14, 2024Updated 2 years ago
- This ohsome R package grants access to the power of the ohsome API from R.☆12Oct 4, 2023Updated 3 years ago
- A Single Page Application written in F# using Fable and Elmish.☆10Aug 16, 2025Updated last year
- Unsupervised Robust Disentangling of Latent Characteristics for Image Synthesis☆25Jul 1, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Domain-specific language for office automation. Beware, that this repository/package is still under construction and might not be safe fo…☆11Oct 14, 2021Updated 5 years ago
- Embed and execute SQL in Markdown☆13Mar 21, 2024Updated 2 years ago
- Cli tool to pass arguments to nix flakes☆11May 6, 2024Updated 2 years ago
- Various dotfiles from my machines☆14Oct 12, 2026Updated 2 weeks ago
- It's easy to write nextjs App with Fable☆12Oct 25, 2023Updated 3 years ago
- Runs files through filter to their default associated action with OnSave event (or on request) [for Notepad++ using PythonScript]☆11Mar 8, 2019Updated 7 years ago
- This repository contains the dataset and code for the ACL 2019 paper "Zero-Shot Semantic Parsing for Instructions" by Ofer Givoli and Roi…☆11Jun 5, 2025Updated last year
- An animated tree user interface made for Elmish applications☆10Dec 3, 2022Updated 3 years ago
- Fable bindings for Office-js☆11Apr 1, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 6 years ago
- Maximum independent sets and vertex covers of large sparse graphs.☆87Sep 30, 2026Updated last month
- My dotfiles for Arch Linux.☆14Feb 16, 2021Updated 5 years ago
- A URL shortener web application written with WebSharper and ASP.NET Core☆13May 26, 2021Updated 5 years ago
- Must-read papers on streaming graph☆17Oct 21, 2026Updated last week
- ☆12Apr 10, 2019Updated 7 years ago
- API Documentation for BahnBonus, the loyality system of DB☆25Feb 15, 2019Updated 7 years ago
- NimScript Interoperability for Python☆15Sep 10, 2020Updated 6 years ago
- Implementation of the Hyperseed algorithm☆12Oct 31, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- JSON RPC toolkit for Python☆10Dec 21, 2018Updated 7 years ago
- Hierarchical Hidden Markov Model☆12Dec 11, 2022Updated 3 years ago
- ☆10Nov 27, 2019Updated 6 years ago
- ☆12Jun 8, 2023Updated 3 years ago
- Implementation of gRPC by F# and automatically generated C# code.☆12Apr 19, 2017Updated 9 years ago
- Semantic Parser with Execution☆13Dec 8, 2017Updated 8 years ago
- A tensorflow implementation of the Forward-Forward Algorithm from NeurIPS '22.☆10May 10, 2023Updated 3 years ago