Kiel Hurley's repositories
authentik
The authentication glue you need.
elan
A Lean version manager
flutter_launcher_icons
Flutter Launcher Icons - A package which simplifies the task of updating your Flutter app's launcher icon. Fully flexible, allowing you to choose what platform you wish to update the launcher icon for and if you want, the option to keep your old launcher icon in case you want to revert back sometime in the future. Maintainer: @MarkOSullivan94
git
A fork of Git containing Windows-specific patches.
gitea
Git with a cup of tea, painless self-hosted git service
immich
Self-hosted photo and video backup solution directly from your mobile phone.
LibreTranslate
Free and Open Source Machine Translation API. Self-hosted, offline capable and easy to setup.
name-suggestion-index
Canonical common brand names, operators, transit and flags for OpenStreetMap.
opening_hours.js
Library to parse and process the opening_hours tag from OpenStreetMap data
openstreetmap-website
The Rails application that powers OpenStreetMap
policy-templates
Policy Templates for Firefox
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant