ellmau's Stars
rustdesk/rustdesk
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
pola-rs/polars
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
dandavison/delta
A syntax-highlighting pager for git, diff, grep, and blame output
shuttle-hq/shuttle
Build & ship backends without writing any infrastructure files.
cozodb/cozo
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
RazrFalcon/cargo-bloat
Find out what takes most of the space in your executable.
NixOS/nixops
NixOps is a tool for deploying to NixOS machines in a network or cloud.
audulus/rui
Declarative Rust UI library
ExOK/Celeste64
A game made by the Celeste developers in a week(ish, closer to 2)
Mic92/sops-nix
Atomic secret provisioning for NixOS based on sops
oxigraph/oxigraph
SPARQL graph database
Interrupt/systemshock
Shockolate - A minimalist and cross platform System Shock source port.
kclejeune/system
Declarative system configurations using nixOS, nix-darwin, and home-manager
Fluepke/konnektor-patch
Saving 400 million euro of public health care money from reckless vendors
knowsys/nemo
A fast in-memory rule engine.
reckenrode/nix-foundryvtt
A Nix derivation for Foundry VTT
sybila/biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
ellmau/adf-obdd
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
knowsys/Formale-Systeme-in-LEAN
LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
alviano/asp-chef-alpha
A simple, intuitive web app for analysing answer sets without having to deal with complex tools or programming languages.
ellmau/adf-instances
This is a collection of adf instances for various tests
mmarx/glpi-inventory
A nix flake for the GLPI inventory service
mmarx/ical2org
Convert ical calendars to org agendas