Simple WebExtension for detecting ws connection
☆12Aug 27, 2019Updated 6 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 collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Mar 19, 2026Updated last week
- 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☆32Jan 20, 2025Updated last year
- 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.
- Testing and benchmarking tool for logic-related programs.☆28Mar 19, 2026Updated last week
- Emoji input extension for Chrome☆11Jul 12, 2025Updated 8 months ago
- Kubernetes CRD controller for NATS stream as event source for Kubeless functions☆13Dec 16, 2021Updated 4 years ago
- ☆12Oct 11, 2020Updated 5 years ago
- A web component inspired by ngRepeat from the AngularJS framework.☆10Oct 11, 2016Updated 9 years ago
- [private joke] IRC bot for a private channel on freenode☆17Mar 18, 2026Updated last week
- NetBeans plugin for OpenCart☆10Nov 18, 2015Updated 10 years ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆30Mar 18, 2026Updated last week
- [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
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Asterisk Debian packaging and patches for Wazo☆12Mar 5, 2026Updated 3 weeks ago
- ☆21Sep 2, 2024Updated last year
- Baresip docker container (baresip git + libre + librem )☆16Oct 21, 2020Updated 5 years ago
- Matrix trails screensaver for Kodi☆17Feb 27, 2026Updated last month
- a vueJS alternative to PWA shopping list app initially built on vanillaJS☆11Oct 15, 2018Updated 7 years ago
- ESlint plugin for sorting requires (CommonJS modules) alphabetically☆33Mar 29, 2024Updated last year
- ☆11Oct 8, 2018Updated 7 years ago
- A part-of-speech tagger with support for domain adaptation and external resources.☆24Oct 26, 2022Updated 3 years ago
- Browser WebExtension that adds a vertical tab bar (uses the Sidebar API)☆16May 17, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- VSCode extension for Kubeless☆15Dec 16, 2021Updated 4 years ago
- Locate Visual Studio installations in Python and C☆17Jul 1, 2021Updated 4 years ago
- Simple encrypted password storage☆30Mar 17, 2023Updated 3 years ago
- Adds fluent setters and builder generation to NetBeans code generators.☆13Mar 14, 2021Updated 5 years ago
- Community resources☆13Jun 4, 2021Updated 4 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 3 years ago
- ☆16Nov 20, 2021Updated 4 years ago
- Mirror of the OpenJDK repository☆10Jun 11, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- mini-dalle in OCaml☆39Nov 6, 2022Updated 3 years ago
- Decodes and archives Guild Wars 2 STRS files☆25May 21, 2024Updated last year
- GameBoy emulator written in Rust☆18Feb 19, 2026Updated last month
- This is a project for a Netbeans Liberty Server connector module☆10Nov 21, 2016Updated 9 years ago
- 【中文，符号】自动转 [英文,符号]☆10Sep 27, 2025Updated 6 months ago
- A Sublime Text Theme☆51Jul 13, 2016Updated 9 years ago
- Coding is a team sport.☆12Feb 5, 2019Updated 7 years ago