🦎 a tool to build and deploy software on many servers 🦎

Zigbee 🐝 to MQTT bridge 🌉, get rid of your proprietary Zigbee bridges 🔨

🔰 Home Assistant Operating System

An implementation of scoped algebraic effects and handlers in Agda.

Beautiful and reliable typst code formatter

Elisp library for the OpenAI API

A modern, configurable, terminal based MPD Client with album art support via various terminal image protocols

Implement https://www.youtube.com/watch?v=kCc8FmEb1nY in Rust and Candle

🌸 A command-line fuzzy finder

GOOSE in Lean4

A client for Language Server Protocol servers

A testing framework for Juvix

Juvix Binary installer

The math library of Lean 4

Emacs major mode for Lean 4

Overview of tactics in Lean 4 for beginners — longer version

The Simplest VPN installer, designed for Raspberry Pi

Let Home Assistant see!

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.

Anoma application examples

Juvix Lean library for compiler run verification

Bubble Card is a minimalist card collection for Home Assistant with a nice pop-up touch.

🏡 Open source home automation that puts local control and privacy first.

Property-based testing for Juvix

Sun Card successor: Visualize the position of the Sun over the horizon.

Matter (formerly Project CHIP) creates more connections between more objects, simplifying development for manufacturers and increasing compatibility for consumers, guided by the Connectivity Standa…

Pop a posframe (just a child-frame) at point, posframe is a **GNU ELPA** package!

Reference implementation of Anoma

Anoma Spec

A markup-based typesetting system that is powerful and easy to learn.