Pinned Repositories
red-moon
Android screen filter app for night time phone use.
simpletask-android
PaperWM
Tiled scrollable window management for Gnome Shell
Gnome-Headerbar-Dark
Headerbar style for GNOME 3.16+ with Dark Theme
pollr
talalarmo
Android alarm clock
yesod-perf-test
Experiment with improving the development experience in Yesod— primarily, speeding up incremental compilation for frontend changes.
snowdrift
Infrastructure for Snowdrift.coop. This is a MIRROR of https://gitlab.com/snowdrift/snowdrift. Your issue reports and merge requests are welcome, but they will be moved to gitlab.com. You are encouraged to start there instead!
StreetComplete
Easy to use OpenStreetMap editor for Android
smichel17's Repositories
smichel17/yesod-perf-test
Experiment with improving the development experience in Yesod— primarily, speeding up incremental compilation for frontend changes.
smichel17/talalarmo
Android alarm clock
smichel17/beets
music library manager and MusicBrainz tagger
smichel17/CalendarNotification
Android app extending calendar notifications with snooze button and notifications persistence.
smichel17/code-from-ts-playground-url
Script to decode & print source code from a TypeScript Playground URL.
smichel17/community-bot
The bot used on the TypeScript Community discord server
smichel17/dash-to-panel
An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that found in KDE Plasma and Windows 7+. A separate dock is no longer needed for easy access to running and favorited applications.
smichel17/DefinitelyTyped
The repository for high quality TypeScript type definitions.
smichel17/DivestOS-Website
The DivestOS website
smichel17/expo-server-sdk-node
Server-side library for working with Expo using Node.js
smichel17/firefox-gnome-theme
A GNOME👣 theme for Firefox🔥
smichel17/gittagf
smichel17/ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
smichel17/kotlin-web-site
The Kotlin Programming Language Website
smichel17/lutris
Lutris client - Open Source gaming platform for GNU/Linux
smichel17/lutris-dashboard
smichel17/nus_lutris
Update Script to update Nitrox Multiplayer for Subnautica
smichel17/nuTensor
nuTensor: Point and click matrix to filter net requests according to source, destination and type
smichel17/oauth2orize
OAuth 2.0 authorization server toolkit for Node.js.
smichel17/PaperWM
Tiled scrollable window management for Gnome Shell
smichel17/passport
Simple, unobtrusive authentication for Node.js.
smichel17/patch
smichel17/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
smichel17/server
☁️ Nextcloud server, a safe home for all your data
smichel17/Simple-Camera
Creating memories has never been easier.
smichel17/StreetComplete
Easy to use OpenStreetMap editor for Android
smichel17/tui-combo-bug-example
smichel17/typescript-needs-types
TypeScript please give us types.
smichel17/website
Lutris.net website
smichel17/yesod
A RESTful Haskell web framework built on WAI.