Repository Index

pippi

A Flutter plugin to use iOS 16.1+ Live Activities ⛹️ & iPhone Dynamic Island 🏝️ features

• dynamic-island
• flutter
• flutter-plugin
• ios

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

Remote app dock and control surface for a Windows or Linux (Hyprland) PC, driven from a phone over Wi-Fi or USB.

Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land

• promise
• fantasy-land
• async
• asynchronous

A customizable Windows desktop island for music, focus, live lyrics and your own AI companion.

• desktop-app
• dotnet
• dynamic-island
• windows

Secret User Agent of HTTP

Notifications for Wayland that look like they belong on a computer from this decade. Drawn with Rune.

My Arch Linux dotfiles, ready to install on a fresh system.

• archlinux
• dotfiles
• hyprland
• hyprland-rice

A notch-style island for GNOME that keeps your day one glance away: music with synced lyrics, notifications, calendar, focus timer, tasks, screen time, a clipboard shelf and an AI assistant that installs and fixes things. In black or glass, and light on your system

• clipboard-manager
• gnome
• gnome-shell-extension
• linux

This is the GitHub home of Race Into Space, the computer version of the Liftoff! board game by Fritz Bronner. It was developed by Strategic Visions and published by Interplay as a disk-based game in 1993 and a CD-ROM in 1994. It was open-sourced in 2005 and a number of improvements have been made over the original.

• lunar
• lunar-lander
• moon
• probe

🏝 Create your own slice of paradise on any website.

• habitat
• preact
• shopify-app

Render Ember components anywhere on a server-rendered page to create "Islands of Richness"

Open-source landing pages with a personality of their own.

A Wayland shell with Material Design 3 Expressive, written in Rust

Low-latency remote desktop for macOS and Linux. Control your computer from an iPad or any browser with ~20 ms delay. Free, open source, no app to install. curl -fsSL glassdesk.dev | sh

• ipad
• macos
• remote-desktop
• rust

Translated🐾 FurrOS — a fluffy Linux distribution based on Arch. 17 desktops, an installer with a Paw, Paw School, live wallpapers. Under development. Good dogs only.

• arch-linux
• archiso
• customization
• furry

Y2JB is userland code execution using PS5 YouTube app

A fast, native database client for PostgreSQL, MySQL and SQLite. Written in Rust with egui; runs on Linux, macOS and Windows.

• cross-platform
• database
• database-client
• database-gui

Based Python static type checker with baseline, sane default settings and based typing features

• based
• python
• typing
• baseline

ClojureScript atoms backed by HTML5 web storage.

The repository host gives no description.

• delphi
• drop-components
• drag
• drop-targets

A game by Jan Marcano and James T. Uses Godot 2.1

A tool for tracing Lua script execution and analysing time profiles and coverage