Script to manage computer usage by time and schedule.
☆18Jul 28, 2017Updated 9 years ago
Alternatives and similar repositories for kidtimer
Users that are interested in kidtimer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Script to manage computer usage by time and schedule.☆21Dec 26, 2025Updated 8 months ago
- IsarMathLib is a library of formalized mathematics for Isabelle/ZF.☆19Aug 31, 2026Updated 2 weeks ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Material for ProLaLa Keynote☆14Feb 4, 2022Updated 4 years ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Automatically exported from code.google.com/p/tv-maxe☆11Apr 17, 2017Updated 9 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆66Aug 29, 2026Updated 3 weeks ago
- Convert the apache mime.types file to C# Dictionary<string, string> keyed by file extension.☆17May 3, 2015Updated 11 years ago
- Early PC (8086) emulator written in Rust☆25Jul 21, 2016Updated 10 years ago
- Notes and examples for a talk covering the ES6 metaprogramming types and techniques☆15May 11, 2022Updated 4 years ago
- Cast your computer audio to a Chromecast (Audio)☆20Oct 24, 2018Updated 7 years ago
- Radio tray for linux QT☆10Aug 21, 2019Updated 7 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 4 years ago
- QNote add-on for Thunderbird email application☆23Aug 25, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Official Avant Window Navigator Extras repository☆20Dec 4, 2015Updated 10 years ago
- OBSOLETE: Gnote search provider extension for gnome-shell☆16Jul 28, 2016Updated 10 years ago
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Feb 18, 2011Updated 15 years ago
- A theme for GNOME and Xfce4.☆24Nov 5, 2024Updated last year
- Rhythmbox's LastFM Extension Plugin☆16Sep 22, 2013Updated 12 years ago
- Allows AirDroid to notify with a WebKit notification on your desktop when you have a notification on your phone☆21May 7, 2013Updated 13 years ago
- A modular cross-platform system snapshot and restoration utility that uses the underlying OS tooling to perform operations☆22Dec 19, 2012Updated 13 years ago
- Use Javascript via the Python language☆13Dec 7, 2022Updated 3 years ago
- Gnome shell extension☆14Oct 27, 2012Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Python script that downloads images from Ancestry.com that are related to records in your family tree.☆23Jun 28, 2023Updated 3 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆15Jun 7, 2023Updated 3 years ago
- ☆11Feb 24, 2025Updated last year
- Indicator for character copying☆22Jan 25, 2022Updated 4 years ago
- A command-line application to view images from the terminal written in Rust.☆11Nov 21, 2023Updated 2 years ago
- Command-line JSON processor☆14Oct 23, 2019Updated 6 years ago
- Wallpapoz -- Gnome and XFCE Desktop Wallpapers Configuration Tool☆22May 7, 2026Updated 4 months ago
- Clojurescript selfhost library☆13Jul 29, 2022Updated 4 years ago
- Exercism exercises in Prolog.☆34Jul 20, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Semi-hand curated command-line option data for many CLI programs, geared toward bioinformatics tools. Shell completion scripts are also a…☆18Aug 28, 2026Updated 3 weeks ago
- Duck Application Launcher - A duck...er dock like you've never seen before. [Unmaintained]☆26Nov 30, 2015Updated 10 years ago
- webupd8☆32Apr 18, 2020Updated 6 years ago
- MIME types for use in browsers☆17Aug 26, 2024Updated 2 years ago
- addon for google chrome to facilitate the use of utf characters☆11Apr 11, 2025Updated last year
- Repository containing the TextMate grammars used by StackBlitz☆15Oct 7, 2025Updated 11 months ago
- Calendar Indicator is a simple application to manager your calendars of Google Calendar in Ubuntu☆23Apr 28, 2022Updated 4 years ago