Stars
A client for Language Server Protocol servers
Overview of tactics in Lean 4 for beginners — longer version
The Simplest VPN installer, designed for Raspberry Pi
Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, Mistral Small 3.1 and other large language models.
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.
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!
A new markup-based typesetting system that is powerful and easy to learn.
😸 Soothing pastel theme for the high-spirited!
A use-package declaration for simplifying your .emacs
Lean 4 programming language and theorem prover
🚀 Fast, secure, lightweight containers based on WebAssembly
A Juvix library for writing Anoma applications
A smarter cd command. Supports all major shells.
A syntax-highlighting pager for git, diff, grep, and blame output
A cross-platform, OpenGL terminal emulator.