A feature-rich command-line audio/video downloader

Tailscale Sidecar Configurations for Docker

🍼 Plugin driven WYSIWYG markdown editor framework.

React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…

Strix is a tool for reactive synthesis of controllers from LTL specifications.

Synthesis Format Conversion Tool

Cloud replacement for vacuum robots enabling local-only operation

The Elegant Parser

Language development libraries for Rust

A minecraft shader which is an edit of chocapic v9

A parser of relational predicate logic & truth tree solver, written in Rust.

A simple Minecraft written in Rust with the Piston game engine

A high-level API for interacting with SMT solvers.

Document reader

❄️ NixOs / Hyprland rice with Home-Manager ❄️

NixOS + Hyprland rice with flakes, home-manager and dev-shells

jnsgruk's nix flake ❄️

Usability-first dotfiles

The ML4W OS - Dotfiles for Hyprland - An advanced and full-featured configuration for the dynamic tiling window manager Hyprland. Ready to install from a Live ISO or with the Dotfiles Installer app…

Hyprland keybinds cheatsheet with Rofi

This is a nix flake to facilitate the use of prasanthrangan's hyprdots. It provides all the dependencies necessary to use hyprdots.

// Aesthetic, dynamic and minimal dots for Arch hyprland

Read e-books in style

Stable Diffusion web UI

The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.

Typesafe language bindings generator for the Tauri IPC bridge

All of the official Tauri plugins in one place!

Legacy index for FreeCAD < 1.0.0

Open Source Solution for Model-Based Systems Engineering

RFCs for changes to Rust