A bookmark manager for audio streams on Android.
☆14Aug 14, 2020Updated 6 years ago
Alternatives and similar repositories for stop-it
Users that are interested in stop-it are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Mar 19, 2018Updated 8 years ago
- ☆17Jul 22, 2024Updated 2 years ago
- A library to fetch data from the radio-browser.info catalog of online radio stations.☆12Mar 5, 2022Updated 4 years ago
- Simple android application for persian podcast "RadioGeek"☆11Dec 17, 2016Updated 9 years ago
- Simple, minimal theme for activeadmin.☆16Oct 18, 2024Updated 2 years ago
- 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.
- A bookmarklet to extract headers from a Sharepoint web document then produce Markdown code for a Table of Contents with links in an inden…☆25Sep 3, 2024Updated 2 years ago
- This project was derived from another one created during my B. Sc. Education at the Ruhr Universität Bochum, Germany.☆23Sep 22, 2026Updated 3 weeks ago
- Unified Maude model-checking tool☆13Jul 29, 2026Updated 2 months ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- A very fast and scalable quantum circuit optimizer☆48Updated this week
- Dubbing and post-synchronization tool☆14Apr 25, 2018Updated 8 years ago
- ☆19Oct 12, 2026Updated last week
- Dieses Projekt soll dazu dienen, eine Vorlage für Seminar-, Bachelor- oder Masterarbeiten, die an der Hochschule Bonn-Rhein-Sieg verfasst…☆13Jun 22, 2026Updated 3 months ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- OpenPGP smart card minidriver☆14Nov 6, 2024Updated last year
- Simple Android webradio player☆23Jan 7, 2018Updated 8 years ago
- A collection of awesome penetration testing resources, tools and other shiny things☆14Oct 10, 2017Updated 9 years ago
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago
- TLA+ models of Linux kernel protocols☆33Oct 12, 2026Updated last week
- Description format for APT repositories and its Python implementation using Aptly☆37Sep 24, 2020Updated 6 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- Runner of jupyter notebook☆21Oct 26, 2022Updated 3 years ago
- CLI for Redmine☆23Mar 2, 2022Updated 4 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.
- ☆14Aug 22, 2023Updated 3 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- VeriX: Towards Verified Explainability of Deep Neural Networks☆13Aug 5, 2026Updated 2 months ago
- A tool to infer the security handshake state machine of a given WiFi router. Useful for vulnerability analysis☆16Oct 19, 2022Updated 4 years ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 6 months ago
- CyanogenMod/LineageOS Eleven music player☆42Oct 1, 2022Updated 4 years ago
- CFPB's streaming batch geocoder☆37Sep 1, 2016Updated 10 years ago
- Share graph plots☆20Jul 11, 2013Updated 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.
- The ultimate proxy checker with advanced capabilities, built for precision, speed and reliability.☆27Aug 10, 2026Updated 2 months ago
- Distributed QC for Qiskit☆18Jan 18, 2024Updated 2 years ago
- A Tamarin model and analysis of EMV contactless payments☆15Feb 16, 2021Updated 5 years ago
- The Shenzhen Solitaire Solver online written in Javascript for browsers☆25Feb 11, 2024Updated 2 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated 2 years ago
- An ebook reader written in Rails.☆34Jan 28, 2018Updated 8 years ago
- A fully material-designed about fragment for your application.☆45Jan 21, 2019Updated 7 years ago