Starred repositories
The Codingteam's solution for the ICFP Contest 2026.
Community recipes for serving LLMs on RTX 3090/4090/5090 CUDA gpus. Multi-engine (vLLM, llama.cpp, ik_llama) and model-agnostic. Currently shipping Qwen3.6-27B Qwen3.6 35B Gemma 4 26B Gemma 4 31B cβ¦
A harness optimized to smaller LLMs
ΠΠ½ΡΠ΅Π³ΡΠ°ΡΠΈΡ Π΄Π»Ρ Home Assistant, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡΡΠ°Ρ ΡΠΏΡΠ°Π²Π»ΡΡΡ ΡΡΡΡΠΎΠΉΡΡΠ²ΠΎΠΌ Vakio Base Smart
VS Code extension for the Lean 4 programming language and theorem prover
binary releases of VS Code without MS branding/telemetry/licensing
Vulkan compute tool for testing video memory stability
Learn Go with test-driven development
Comparison of Rust async and Linux thread context switch time.
Enter NetHack monster name and see its level, attacks etc!
Simple app that tracks time.
embedded-hal abstractions for AVR microcontrollers
βοΈ Nextcloud server, a safe home for all your data
π‘ Open source home automation that puts local control and privacy first.
Zigbee π to MQTT bridge π, get rid of your proprietary Zigbee bridges π¨
APM32F103CBT6/STM32F103CBT6 Mini Debugger
Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain
A Rust embedded-hal HAL impl for the STM32F1 family based on japarics stm32f103xx-hal
π‘ The Homie Convention: a lightweight MQTT convention for the IoT
Infrastructure as a code for facility13 host