-
TU Dresden
- Dresden, Germany
-
20:49
- 1h ahead - https://orcid.org/0000-0002-5661-3004
Stars
Reactors for scientific computing, machine learning, robotics, mechatronics and automation.
A self-hosted open source photo management service. This is the repository of the backend.
Use Helix keybindings inside Obsidian.md
Plain text accounting in Obsidian.md
A drag-and-drop time ruler combining the best of a task list and a calendar view (integrates with Tasks, Full Calendar, and Dataview).
A local-first personal finance app
Quick plugin to be able to copy/paste from Obsidian/Markdown into a Latex document
Clone of the Barvinok repository at http://repo.or.cz/barvinok.git
Adds multiprecision arithmetic capabilities to MLIR.
Creusot helps you prove your code is correct in an automated fashion.
Integrate Git version control with automatic commit-and-sync and other advanced features in Obsidian.md
Scheduler for sub-node tasks for HPC systems with batch scheduling
The new Windows Terminal and the original Windows console host, all in the same place!
Intuitive concurrent programming in any language
A logging implementation for `log` which is configured via an environment variable.
A new way to see and navigate directory trees : https://dystroy.org/broot
poehlerj / no-title-bar
Forked from franglais125/no-title-barIntegrates maximized windows with the top panel
Execute your Gradle build and trigger dependency submission
FlatLaf - Swing Look and Feel (with Darcula/IntelliJ themes support)