SFTTV is a simple application to connect your Smart Tv android, your android mobile device and your personal computer
☆20Apr 26, 2019Updated 7 years ago
Alternatives and similar repositories for sendfilestotv
Users that are interested in sendfilestotv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple Android app to sign APKs☆28Aug 19, 2026Updated last month
- ☆17May 19, 2023Updated 3 years ago
- A flutter app to encode and decode base64 easily☆16Oct 11, 2023Updated 3 years ago
- A basic file explorer. Implements Data parallelism for select discovery functions, Fuzzy logic based search, stack based history, async b…☆12Jun 24, 2026Updated 3 months ago
- ☆16Feb 22, 2024Updated 2 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.
- being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017☆10Jul 14, 2017Updated 9 years ago
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago
- ☆14Mar 5, 2025Updated last year
- Allows for a One-Way Sync from Stremio to Simkl. Plan is to have a Two-Way Sync☆24May 25, 2025Updated last year
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- ☆13Sep 2, 2016Updated 10 years ago
- Fintie Sets in Cubical Agda☆13Aug 30, 2019Updated 7 years ago
- A table library for Idris 2☆16Oct 25, 2022Updated 3 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Jan 23, 2024Updated 2 years ago
- OP25-based P25 radio decoder for RTL-SDR that runs in Docker and streams audio as an always-on RTSP/HLS feed through MediaMTX☆16May 6, 2026Updated 5 months ago
- Magisk module to remove bootloader unlock warning on Samsung Galaxy A12☆19Mar 15, 2024Updated 2 years ago
- A full-featured package manager and viewer for Android (this fork adds app archiving and improves wireless debugging setup)☆32Oct 3, 2026Updated 2 weeks ago
- ☆30Oct 8, 2026Updated last week
- ☆13Oct 9, 2025Updated last year
- Higher Algebra with Opetopic Types☆17Mar 30, 2023Updated 3 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated last month
- Aura is an open-source Zedge alternative with YouTube and Reddit integration. Wallpapers, video wallpapers, ringtones & sounds. yt-dlp po…☆48Updated this week
- 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.
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- https://metaborg.github.io/mj.agda/☆13Oct 14, 2020Updated 6 years ago
- Total Commander for Android☆23Sep 7, 2026Updated last month
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 7 years ago
- Media Player☆28Nov 30, 2014Updated 11 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- Show informations about installed APKs☆11Sep 24, 2020Updated 6 years ago
- A list of bloatware packages that samsung phones have with instructions to remove them☆45Apr 14, 2025Updated last year
- Userscripts developed by me☆20Aug 19, 2026Updated last month
- 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.
- Android Xposed module for changing the behavior of the popular keyboard app.☆13Apr 17, 2024Updated 2 years ago
- Fitbit integration for Sleep as Android☆17Jan 6, 2023Updated 3 years ago
- An Agda formalisation of the theory of directed containers☆13Apr 25, 2025Updated last year
- AACMM's generic-syntax, but with QTT-style annotations☆22Apr 7, 2024Updated 2 years ago
- Picked up some dropped patches for ReVanced☆91Feb 1, 2026Updated 8 months ago
- buildAPKsTermuxApp contains source code and libraries to build the Termux APK with BuildAPKs☆22May 17, 2023Updated 3 years ago
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 7 years ago