esclear Goto Github PK

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

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

cuvee

A tool for Boogie and SMT-LIB engineering

gdb-mi

GDB/MI and lldb-mi (Machine Interface) management library.

graphics

A library for 2D graphics, written in Rust, that works with multiple back-ends

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

learning-lean

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

louvain-leiden

Implementation of the Louvain and Leiden community detection algorithms.

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.

open-keychain

OpenKeychain is an OpenPGP implementation for Android.

pgvecto.rs

Scalable Vector database plugin for Postgres, written in Rust, specifically designed for LLM

ph-nn

A TensorFlow implementation of Port-Hamiltonian neural networks

ram

A parser and interpreter for a simplistic model of computation.

rust

A safe, concurrent, practical language.

rust-openssl

OpenSSL bindings for Rust

ssd1306

SSD1306 OLED driver

szed

SZ-Epaper-Downloader