Pablo Hirafuji

passless. Virtual FIDO2 device and client FIDO 2 utility

Voron-Trident. Voron Trident CoreXY 3D Printer design

iocaine. 🛡️ Iocaine is a defense mechanism against unwanted scrapers, sitting between upstream resources and the fronting reverse proxy.

nixflix. NixOS Media Server Configuration

bashls. Bash language server (LSP) written in Rust

nix-init. Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]

vanilla-mobile-nixos. Run standard NixOS on your mobile devices!

uwe5622. AW859A / UWE5622 Linux driver

raffi. fuzzel/iced launcher based on yaml configuration

nixos-cix-cd8180. Nix

tscircuit. Create real electronics with Typescript and React

boringtun. Userspace WireGuard® Implementation in Rust

make-interfaces-feel-better. Skill that makes your interfaces feel better.

pog. 🤯 a new, powerful way to do bash scripts

finix. A daily-drivable experimental os, featuring finit as pid 1, to explore the NixOS design space

OrcaSlicer. G-code generator for 3D printers (Bambu, Prusa, Voron, VzBot, RatRig, Creality, etc.)

Introduction-to-Autonomous-Robots. Introduction to Autonomous Robots

sherpa-voice-assistant. Local AI-based voice assistant implemented using Sherpa, Whisper, Kokoro, and Ollama

pdfmake. Client/server side PDF printing in pure JavaScript

frigate. NVR with realtime local object detection for IP cameras

ESP32-S3-WATCH-rs. Bare Metal (no-std) voice-driven wearable OS for ESP32-S3 smartwatch with a high focus on accessibility and smart home/media control. Written in Rust, using esp-hal as it's hardware abstraction layer.

clpz. Constraint Logic Programming over Integers

openLab. technical details for a great lab

OpenSMILES. The OpenSMILES specification

zed-prolog. prolog extension for zed

TRELLIS.2. Native and Compact Structured Latents for 3D Generation

py_gearworks. a gear generator in python

MOPA_Laser_Diffraction_Gratings. Machine settings, photos of material test swatches, and code to generate diffraction patterns on stainless steel with a MOPA fiber laser

MOPA_Laser_Stainless_Colors. MOPA laser settings to make colorful oxide layers on stainless steel

yo. Yo is a compie-time grammar compiler (Nix) and a runtime deterministic interpretor (Rust). In simple terms it's a rapid fast and flexible full-stack voice assistant.

DOMIX-Open-Source-Modular-Home-Automation-System. Open-source modular DIN-rail home automation and sensor. ESP32-S3 core with Ethernet, Zigbee, RS485. 9 I/O modules via I2C: relays, contacts, energy meter, sprinklers. ESPHome-based, integrates Home Assistant. Low-voltage, cabinet-oriented. Built for learning & customization.

anki. Learn to code with Anki — flashcards and themes for all learning levels. Master your programming language of choice!

webgiya. Surfel-based global illumination on the web

sherpa-onnx. Speech-to-text, text-to-speech, speaker diarization, speech enhancement, source separation, and VAD using next-gen Kaldi with onnxruntime without Internet connection. Support embedded systems, Android, iOS, HarmonyOS, Raspberry Pi, RISC-V, RK NPU, Axera NPU, Ascend NPU, x86_64 servers, websocket server/client, support 12 programming languages

oo7. James Bond went on a new mission as a Secret Service provider

truck. Truck is a Rust CAD Kernel.

openwave. Open-source subatomic physics simulator using classical field theories and topology to study particle & force emergence

sky. Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

awesome-design-md. A collection of DESIGN.md files analysis by popular brand design systems. Drop one into your project and let coding agents generate a matching UI.

srvos. NixOS profiles for servers [maintainer=@numtide]

uwe5622-nixos. uwe5622 allwinner patches from Armbian for NixOS, kernel 6.12, OrangePi Zero3

wlsleephandler-rs. Swayidle alternative to handle wayland idle notifications, sleep and lock events in Rust with Lua scripting based configuration language

niri. A scrollable-tiling Wayland compositor.

wired-notify. Lightweight notification daemon with highly customizable layout blocks, written in Rust.

VacuumTube. YouTube Leanback on the desktop, with enhancements

doh-auth-proxy. Local DNS proxy for DNS over HTTPS (DoH), Oblivious DoH (ODoH) and Multiple-relay-based ODoH extension (Mutualized ODoH; MODoH), which additionally supports domain-based filtering and proxy/resolver authentication

ping. Decentralized End-to-End Encrypted Messenger

Kasia. Encrypted, Decentralized and Fast P2P Messaging Protocol & Application built on top of Kaspa.

ariel-os. Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust

rustfs. 🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platforms such as MinIO and Ceph.

skidl. SKiDL is a library that lets you design electronic circuits using Python.

nix-book. CSS

SPINC. DIY Automatic Battery Charger Using RP2040

Pocket_PSU. A variable current & voltage PSU with 3S lipo charging, balancing, and protection circuit using PPS.

dotfiles. It’s not “just dotfiles” - it's extreme modularity that looks and feels like a NixOS flake. It's Voice-driven DevOps, it's a declarative home automation system, it's a self-contained auto-documenting monster.

core. eigenwallet is a battle-tested Monero-Bitcoin DEX based on Atomic Swaps.

elm-language-server-rs. language server for elm, in rust

whisp-away. WhispAway, local dictation tool for Linux.

Solder-Reflow-Plate. PCB based SMD reflow plates

Solder-Plate. Reflow Controller with Detachable Hotplate

SPIRIT. Smartphone based on the Raspberry Pi CM 5.

fornjot. Early-stage b-rep CAD kernel, written in the Rust programming language. No longer in development.

ESP-360-REMOTE. An all-in-one remote based on the ESP32-WROOM-32E

broadcast-channel. :satellite: BroadcastChannel to send data between different browser-tabs or nodejs-processes :satellite: + LeaderElection over the channels https://pubkey.github.io/broadcast-channel/

noble-post-quantum. Auditable & minimal JS implementation of public-key post-quantum cryptography

noble-hashes. Audited & minimal JS implementation of hash functions, MACs and KDFs.

libsodium.js. libsodium compiled to Webassembly and pure JavaScript, with convenient wrappers.

phc-winner-argon2. The password hash Argon2, winner of PHC

elm-syntax-to-rust. transpile elm to rust

tree-sitter-gren. Tree sitter implementation for gren

prettynice. A pretty nice web framework

elm-watch. `elm make` in watch mode. Fast and reliable.

shh. Systemd Hardening Helper - Automatic systemd service hardening guided by strace profiling

bevy_ecs_tilemap. A tilemap rendering crate for bevy which is more ECS friendly.

bevy_enhanced_input. Input manager for Bevy.

swipl-devel. SWI-Prolog Main development repository

elm-bytes-ports-benchmark. Compares a the different available hacks to get bytes from JS into Elm and vice versa

lean4-nix. Nix overlay for Lean 4, and lake2nix

WebRTC. Peer to peer video chat, file sharing etc

build123d. A python CAD programming library

cadhub. We're out to raise awareness and put CodeCAD on the map. The success of CadHub can be measured by the amount it promotes the use of CodeCAD within the mechanical/manufacturing industry and the strength the CadHub community.

openscad-fillets. Git-ified version of https://www.thingiverse.com/thing:2461392

threadlib. thread library for OpenSCAD

nix-mineral. Conveniently and reasonably harden NixOS.

tpm-fido. A WebAuthn/U2F token protected by a TPM (Go/Linux)

typed-japanese. 🌸 Learn Japanese grammar with TypeScript

elm-compiler-in-elm. Port of the Elm Compiler to Elm

zaproxy. The ZAP by Checkmarx Core project

simplex-chat. SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

slonik. A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.

dockview. Zero dependency docking layout manager supporting tabs, groups, grids and splitviews. Supports React, Vue, Angular, and vanilla TypeScript.

VPN-Confinement. A NixOS module that lets you route traffic from systemd services through a VPN while preventing DNS leaks.

json-joy. json-joy is a library that implements cutting-edge real-time and collaborative editing algorithms and utilities for JSON data models, with a focus on developing the JSON CRDT (Conflict-free Replicated Data Type) specification and implementation.

PolyDye. Full Color Printer Mod for Marlin 3D Printers

nix-alien. Run unpatched binaries on Nix/NixOS

flake-parts. ❄️ Simplify Nix Flakes with the module system

mission-control. A `flake-parts` module for your Nix devshell scripts

disko. Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

nixos-facter. Declarative hardware configuration for NixOS [maintainer=@brianmcgee,@Mic92]

TRELLIS. Official repo for paper "Structured 3D Latents for Scalable and Versatile 3D Generation" (CVPR'25 Spotlight).

automerge. A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

elm-watch. A nix flake wrapper around elm-watch

rustic. rustic - fast, encrypted, and deduplicated backups powered by Rust

cromite. Cromite a Bromite fork with ad blocking and privacy enhancements; take back your browser!

shelm. an Elm package manager

zokka-compiler. Fork of compiler for Elm, a functional language for reliable webapps.

elm-compiler-in-elm-ui. UI for the Elm Compiler in Elm

services-flake. NixOS-like services for Nix flakes [maintainer=@shivaraj-bh]

numeric-decimal. Elm

elm-morph. a parser-printer: dev-friendly, general-purpose, great errors

elm-state-interface. define an app in a simple, safe and declarative way

orangepizero3-nix. kernel source and uboot configuration for linux 6.1.31 for the orange pi zero 3.

blog-core. Blogging/CMS framework for SWI-Prolog.

nixpkgs. Nix Packages collection & NixOS

forma. An efficient vector-graphics renderer

sharedb. Realtime database backend based on Operational Transformation (OT)

redwood. A highly-configurable, distributed, realtime database that manages a state tree shared among many peers.

cozo. A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

elm-webapp. A setup for writing http based, client-server app in elm, inspired wholly by lamdera.com

compiler. Compiler for the Gren programming language

html_editor. Pure and simple HTML parser and editor.

elm-rte-toolkit. A toolkit for creating rich text editors in Elm

FTP-Deploy-Action. Deploys a GitHub project to a FTP server using GitHub actions

node-elm-compiler. A Node.js interface to the Elm compiler binaries.

elm-syntax-dsl. A DSL for creating Elm syntax trees and pretty printing Elm source code.

elm-sentry. Unofficial Sentry SDK

elm-units. Simple, safe and convenient unit types and conversions for Elm

elm-book. Rich documentation builder for Elm applications and packages. Inspired by Storybook and HexDocs.

reseter.css. The Modern CSS Reset 🚀

logica. Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

the-power-of-prolog. The Power of Prolog: Introduction to modern Prolog

scryer-prolog. A modern Prolog implementation written mostly in Rust.

Eve. Better tools for thought

simd. Branch of the spec repo scoped to discussion of SIMD in WebAssembly

elm-serialize. Write codecs for encoding and decoding Elm data.

SuperTinyIcons. Under 1KB each! Super Tiny Icons are miniscule SVG versions of your favourite website and app logos

roc. A fast, friendly, functional language.

elm-publish-action. TypeScript

postcss-elm-tailwind. put some tailwind in your elm

elm-script. Experimental command-line scripting for Elm

elm-text-editor. A prototype of a pure Elm text editor, forked from work of Sydney Nemzer.

elm-pratt-parser. Pratt / Top-Down Operator Precedence parsing for elm/parser

elm-to-dot. Crawl an Elm project and produce a dependency graph in DOT

ellie. The Elm Live Editor

postgrest-sessions-example. An example on how to implement session-based authentication with PostgREST

elm-bytes-parser. Parse elm/bytes using composable parsers with errors and context tracking.

enum. Elm Enums

elm-json. Install, upgrade and uninstall Elm dependencies

elm-image. A library for building images in elm

elm_c_wasm. Implementing Elm in Wasm via C

elm-markdown. Extensible markdown parser with custom rendering, in pure Elm.

browser-report. Report browser settings like whatsmybrowser.org

SublimeElmLanguageSupport. Elm language syntax highlighting and tool integration for ST2/3.

material-components-web-elm. Material Components for Elm

typeclasses. Explicit typeclasses for Elm

elm-debouncer. The most comprehensive debouncer for Elm

compiler. Elm compiler written in Elm

citybound. A work-in-progress, open-source, multi-player city simulation game.

elm-canvas. A canvas drawing library for Elm

elm-evolve-steering. experiment on genetic algorithm in elm

listzipper. Elm

elm-round. Round floats (mathematically/commercially) to a given number of decimal places

date. An Elm package for working with dates without times or zones

elm-particle. Simple particle system for web apps. Designed for visual flourishes like confetti.

notable. The Markdown-based note-taking app that doesn't suck.

guia.elm-lang.pt. Portuguese version of guide.elm-lang.org 🇧🇷 🇵🇹 🇦🇴 🇲🇿 🇬🇼 🇨🇻 🇸🇹

elm-string-normalize. Utilities to normalize strings. (remove diacritics, create slugs or filename from user input)

kite. An interactive visualization tool for graph theory

create-elm-app. 🍃 Create Elm apps with zero configuration

guide.elm-lang.org. My book introducing you to Elm!

elm-infinite-scroll. An infinite scroll API for Elm

system-design-primer. Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

browser. Create Elm programs that run in browsers!

meenylatex. Experimental version of MiniLatex package

parser. A parsing library, focused on simplicity and great error messages

elm-dialog. Task interfaces for native dialog functions

xandra. Fast, simple, and robust Cassandra/ScyllaDB driver for Elixir.

triton. a Cassandra ORM for Elixir

JavaScript-Load-Image. Load images provided as File or Blob objects or via URL. Retrieve an optionally scaled, cropped or rotated HTML img or canvas element. Use methods to parse image metadata to extract IPTC and Exif tags as well as embedded thumbnail images, to overwrite the Exif Orientation value and to restore the complete image header after resizing.

elm-date-format. Not updated for 0.19; use ryannhg/date-format

gcp-datastore-cloud-functions-realworld-example-app. Serverless GCP Cloud Functions + Datastore implementation of RealWorld Backend

yew. Rust / Wasm framework for creating reliable and efficient web applications

elm-astar. The A* pathfinding algorithm for Elm.

Front-End-Checklist. 🗂 The essential checklist for modern web development, for humans and AI agents

mailtrain. Self hosted newsletter app

avatars-api-middleware. The express middleware for our avatars service

svgomg. Web GUI for SVGO

elm-css. Typed CSS in Elm.

site-policy. Collaborative development on GitHub's site policies, procedures, and guidelines

posters. Home Office Digital repository of posters covering different topics - research, access needs, accessibility, design.

elm-spa-example. A Single Page Application written in Elm

functional-programming-in-elm. DRAFT outlining some techniques of functional programming

babel-plugin-elm-pre-minify. A **VERY EXPERIMENTAL** Babel plugin that prepares Elm compiled Javascript for optimal minification

elm-benchmark. Benchmarking for Elm

commonmark-spec. CommonMark spec, with reference implementations in C and JavaScript

parser. Simple Parser + Nice Error Messages

elm-static-html. Statically render html from Elm!

og-aws. 📙 Amazon Web Services — a practical guide

coding-interview-university. A complete computer science study plan to become a software engineer.

supervised-scaler. An Elixir integration with libVIPS