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