Simple WebExtension for detecting ws connection
☆12Aug 27, 2019Updated 7 years ago
Alternatives and similar repositories for ws-detector
Users that are interested in ws-detector are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Threema protocol implementation in C++☆20Nov 16, 2022Updated 3 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 3 months ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- Battery Notifier for JioFi Device with battery info in Notification and Alerts☆11Nov 16, 2022Updated 3 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32May 5, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Testing and benchmarking tool for logic-related programs.☆32Jul 31, 2026Updated last month
- ☆12Oct 11, 2020Updated 5 years ago
- Kubernetes CRD controller for NATS stream as event source for Kubeless functions☆13Dec 16, 2021Updated 4 years ago
- Emoji input extension for Chrome☆11Jul 12, 2025Updated last year
- [private joke] IRC bot for a private channel on freenode☆19May 28, 2026Updated 3 months ago
- NetBeans plugin for OpenCart☆10Nov 18, 2015Updated 10 years ago
- [DEPRECATED] A web service for scanning media hosted by a Matrix media repository. Replaced by https://github.com/vector-im/matrix-conten…☆13Nov 15, 2022Updated 3 years ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆31May 28, 2026Updated 3 months ago
- Asterisk Debian packaging and patches for Wazo☆13Aug 3, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Baresip docker container (baresip git + libre + librem )☆16Oct 21, 2020Updated 5 years ago
- Matrix trails screensaver for Kodi☆19Aug 5, 2026Updated 3 weeks ago
- ☆11Oct 8, 2018Updated 7 years ago
- a vueJS alternative to PWA shopping list app initially built on vanillaJS☆11Oct 15, 2018Updated 7 years ago
- A web component inspired by ngRepeat from the AngularJS framework.☆10Oct 11, 2016Updated 9 years ago
- A part-of-speech tagger with support for domain adaptation and external resources.☆25Oct 26, 2022Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 7 months ago
- VSCode extension for Kubeless☆15Dec 16, 2021Updated 4 years ago
- A quickstart maven archetype for creating greenfield microprofile projects☆15Dec 16, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Locate Visual Studio installations in Python and C☆17Jul 1, 2021Updated 5 years ago
- Browser WebExtension that adds a vertical tab bar (uses the Sidebar API)☆16May 17, 2022Updated 4 years ago
- Decodes and archives Guild Wars 2 STRS files☆25May 21, 2024Updated 2 years ago
- Adds fluent setters and builder generation to NetBeans code generators.☆13Mar 14, 2021Updated 5 years ago
- Community resources☆13Jun 4, 2021Updated 5 years ago
- ☆16Nov 20, 2021Updated 4 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 3 years ago
- Mirror of the OpenJDK repository☆10Jun 11, 2018Updated 8 years ago
- mini-dalle in OCaml☆39Nov 6, 2022Updated 3 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.
- GameBoy emulator written in Rust☆19Feb 19, 2026Updated 6 months ago
- This is an HTML Template utilizing Carbon for IBM.com Web Components. It contains a basic WebPack setup using Handlebars for page managem…☆12Jan 22, 2026Updated 7 months ago
- This is a project for a Netbeans Liberty Server connector module☆10Nov 21, 2016Updated 9 years ago
- Coding is a team sport.☆12Feb 5, 2019Updated 7 years ago
- An introductory guide on how to control user and role access to microservices with MicroProfile JSON Web Token (MicroProfile JWT): https:…☆13Mar 1, 2026Updated 6 months ago
- ☆21Sep 2, 2024Updated 2 years ago
- Api service for Seniverse v3 widget☆10Nov 4, 2019Updated 6 years ago