FIXED in 3.27.931-0ubuntu1 - Prevents caribou from appearing when you use a touchscreen with the on screen keyboard disabled
☆31May 31, 2018Updated 8 years ago
Alternatives and similar repositories for cariboublocker
Users that are interested in cariboublocker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dyne.org's W3C-DID implementation☆13May 16, 2024Updated 2 years ago
- dnsmasq-based ad-blocking using pixelserv, pre-1.3.3 version, where Debian & Ubuntu packing reside in the same repo. Latest Debian based …☆28Dec 19, 2019Updated 6 years ago
- 阿里云OSS的Clojure SDK封装☆10Mar 28, 2020Updated 6 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Converts Selenium IDE exported files to Nightwatch runnable js files.☆20May 23, 2017Updated 9 years 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.
- Do-notation and Monads for JavaScript☆27Feb 23, 2022Updated 4 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 2 years ago
- [deprecated, not needed anymore] A stripped-down version of Rust's libcore that used to be required for the AVR target☆16Apr 25, 2018Updated 8 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- An implementation of structural subtyping of records and functions☆13Jul 14, 2018Updated 7 years ago
- write a little simply typed functional language to practice Rust☆15Jul 22, 2023Updated 2 years ago
- Simple local/remote framework to relay computational work like openscad or slicing to remote servers, and retrieve the results back local…☆30May 20, 2013Updated 13 years ago
- Turns off heaters after specified time being on and unused.☆13Mar 13, 2022Updated 4 years ago
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Oct 17, 2013Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Set the keyboard backlight brightness with a slider in gnome shell's system menu.☆14Apr 20, 2024Updated 2 years ago
- ☆10Sep 23, 2021Updated 4 years ago
- 💘 A logging style that is subjectively nice.☆21Jan 21, 2018Updated 8 years ago
- Mailnag GNOME Online Accounts plugin☆13Aug 29, 2021Updated 4 years ago
- DO NOT USE, see link below for updated install guide☆69Aug 6, 2021Updated 4 years ago
- A derive macro to display enums with Druid.☆13Jun 1, 2021Updated 5 years ago
- Simple Video to audio Converter☆12Aug 14, 2024Updated last year
- Wrapper script for launching APK files with ARChon and chromeos-apk☆13Aug 10, 2016Updated 9 years ago
- clone all the github repositories of a particular user.☆20Jun 16, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Playground for Rust graphic programs compiled to JavaScript☆12May 18, 2017Updated 9 years ago
- PID controller☆18Oct 20, 2018Updated 7 years ago
- Elenco dei LUG Italiani☆24Jun 5, 2023Updated 3 years ago
- Stochasm plugin for VCVRack providing modules based around stochastic computing.☆19Oct 8, 2019Updated 6 years ago
- A microKanren framework for implementing constraints.☆19May 30, 2018Updated 8 years ago
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 6 years ago
- Haskell Group Community >>= Haskell 中文社区。☆16Mar 19, 2021Updated 5 years ago
- Canonical miniKanren implementation in Racket☆18Nov 17, 2016Updated 9 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆25Dec 5, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆25Jun 2, 2026Updated last week
- A KUAL extension. Linux Deploy: chrooted GNU/Linux for modern Kindle☆19Oct 19, 2019Updated 6 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Updated this week
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 5 years ago
- Wifi-AP provides a library wrapper around hostapd and dnsmasq and their respective configuration files that allows for programmatically c…☆19Jun 17, 2015Updated 10 years ago
- gpsami, a GUI app to read data from GPS devices.☆12May 28, 2026Updated last week
- Libraries and tools for topological and geometric modeling.☆17Mar 23, 2025Updated last year