#
Starred repositories
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
Heapless statically typed UI layout and rendering for embedded
A work-in-progress, open-source, multi-player city simulation game.
Write expressive, high-performance parsers with ease.
🌸 Learn Japanese grammar with TypeScript
Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]
xoreaxeaxeax / movfuscator
Forked from Battelle/movfuscatorThe single instruction C compiler
Project Skeleton for RP2040 Embedded Firmware using Embassy
Automatic font fallback based on font metrics
Flipping how we define typography in CSS.
Efficient, deferred formatting for logging on embedded systems
Adds zero-cost stack overflow protection to your embedded programs
Rust keyboard firmware library with layers, macros, real-time keymap editing, wireless(BLE) and split support
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.
AF58
xpipe-io / xpipe
Access your entire server infrastructure from your local desktop
Alternative firmware for ESP8266 and ESP32 based devices with easy configuration using webUI, OTA updates, automation using timers or rules, expandability and entirely local control over MQTT, HTTP…
💥💻💥 A data-parallel functional programming language
Friends don't let friends make certain types of data visualization - What are they and why are they bad.
https://www.thingiverse.com/thing:2594893/files
A linter and formatter to help you to improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean).
A modern computer algebra library for Python and Rust.
Hardware Boot Selection Switch Using Raspberry Pi PICO
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Unzip implementation, support for parallel decompression, automatic detection encoding