Daniel Albert's repositories
louvain-leiden
Implementation of the Louvain and Leiden community detection algorithms.
agda-mergesort
A mergesort implementation and verification in Agda
anmeldeformular
Ein kleines Anmeldeformular für neue Mitglieder
bitnami-docker-phabricator
Bitnami Docker Image for Phabricator
book
The Rust Programming Language
cangaroo
open source can bus analyzer software
cuvee
A tool for Boogie and SMT-LIB engineering
graphics
A library for 2D graphics, written in Rust, that works with multiple back-ends
codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
gdb-mi
GDB/MI and lldb-mi (Machine Interface) management library.
grocy
ERP beyond your fridge - grocy is a web-based self-hosted groceries & household management solution for your home
home-manager
Manage a user environment using Nix [maintainer=@rycee]
HoTT-Vorlesung
Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg
lego
Let's Encrypt/ACME client and library written in Go
libroboint
libroboint is an Open Source version of the fischertechnik ROBO Interface Library for Unix like systems
mathezirkel-kurs
Worksheets and lecture notes for my math courses for school students (in German)
mdbwerk
stm32 multi drop bus master (interface via UART or USB)
metric_units_reddit_bot
Reddit bot converting imperial units to metric units
nixpkgs
Nix Packages collection
nspanel-lovelace-ui
Custom Firmware for NsPanel with the design of HomeAssistant's lovelace UI in mind, works with Tasmota.
pgvecto.rs
Scalable Vector database plugin for Postgres, written in Rust, specifically designed for LLM
rust
A safe, concurrent, practical language.
rust-openssl
OpenSSL bindings for Rust
ssd1306
SSD1306 OLED driver
tera
A template engine for Rust based on Jinja2/Django
uni-spicker
Summaries of my university courses (in German)