OCPP Wallbox MQTT Server

A smart enclosure for garbage cans based on a height-adjustable desk. Controlled locally via push-button or via MQTT with an ESP32.

Lightning-Fast, On-Device, Multilingual TTS — running natively via ONNX.

Developer APIs to Accelerate LLM Projects

Extensible implementation of the RISC-V ISA based on FreeMonads

Fast, Precise, Cartesian, FDM 3D Printer

The Media Server NixOS Module

Module for openscad, allowing 3d models to be created from 2d lasercut parts

Public repo for developing a Libre3 interface for Xdrip, AndroidAPS...

</> htmx - high power tools for HTML

Multitouch gestures with libinput driver on Linux

A cross-platform go bot that tracks for availability of stock from Nvidia's store and adds a cart to your checkout.

zsh plugin that lets you use zsh in nix-shell shells.

Patch für LibreLink, um per vom Libre 2 empfangene Bluetooth-Daten an xDrip weitergeben zu können.

This is a button. - What does ot do? - It Butts.

💄🐞 Combinators for writing pretty type errors easily

Lean Theorem Prover

easily build most Haskell programs into fully static Linux executables

A nix-based Haskell project manager

💧 Write more understandable Haskell.

Need help with your courses? You've come to the right place!