Showing 125 open source projects for "iptv-checker-2.5"

View related business solutions
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 1
    H2 Database

    H2 Database

    H2 is an embeddable RDBMS written in Java

    Welcome to H2, the Java SQL database. Very fast, open source, JDBC API. Embedded and server modes; in-memory databases. Browser-based Console application. Small footprint: around 2.5 MB jar file size. Browser-based Console application. Encrypted databases. Fulltext search. Pure Java with small footprint: around 2.5 MB jar file size. ODBC driver. This database can be used in embedded mode, or in server mode. ou may get a security warning from the firewall. If you don't want other computers in the network to access the database on your machine, you can let the firewall block these connections. ...
    Downloads: 22 This Week
    Last Update:
    See Project
  • 2
    tlaplus

    tlaplus

    TLC is an explicit state model checker for specifications in TLA+

    TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 3
    TeXtidote

    TeXtidote

    Spelling, grammar and style checking on LaTeX documents

    If so, you probably know that the process is far from simple. Since LaTeX documents contain special commands and keywords (the so-called "markup") that are not part of the "real" text, you cannot run a grammar checker directly on these files: it cannot tell the difference between markup and text. The other option is to remove all this markup, leaving only the "clear" text; however, when a grammar tool points to a problem at a specific line in this clear text, it becomes hard to retrace that location in the original LaTeX file. TeXtidote solves this problem; it can read your original LaTeX file and perform various sanity checks on it: for example, making sure that every figure is referenced in the text, enforcing the correct capitalization of titles, etc. ...
    Downloads: 186 This Week
    Last Update:
    See Project
  • 4
    MyBatis integration with Spring Boot

    MyBatis integration with Spring Boot

    MyBatis integration with Spring Boot

    MyBatis Spring-Boot-Starter will help you to use MyBatis with Spring Boot.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8 Monitoring Tools in One APM. Install in 5 Minutes. Icon
    8 Monitoring Tools in One APM. Install in 5 Minutes.

    Errors, performance, logs, uptime, hosts, anomalies, dashboards, and check-ins. One interface.

    AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
    Start Free
  • 5
    Gitblit

    Gitblit

    pure java git solution

    ...Gitblit WAR is what you should download if you already have a servlet container available that you wish to use. Jetty 6/7/8 and Tomcat 6/7 are known to work. Generally, any Servlet 2.5 or Servlet 3.0 container should work. Gitblit can be used as a dumb repository viewer with no administrative controls or user accounts. Gitblit can be used as a complete Git stack for cloning, pushing, and repository access control.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 6
    Spock Framework

    Spock Framework

    The Enterprise-ready testing and specification framework

    Spock is a testing and specification framework for Java and Groovy applications. What makes it stand out from the crowd is its beautiful and highly expressive specification language. Thanks to its JUnit runner, Spock is compatible with most IDEs, build tools, and continuous integration servers. Spock is inspired from JUnit, RSpec, jMock, Mockito, Groovy, Scala, Vulcans, and other fascinating life forms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    NullAway

    NullAway

    A tool to help eliminate NullPointerExceptions (NPEs) in your code

    ...Given these annotations, NullAway performs a series of type-based, local checks to ensure that any pointer that gets dereferenced in your code cannot be null. NullAway is similar to the type-based nullability checking in the Kotlin and Swift languages, and the Checker Framework and Eradicate null checkers for Java. NullAway is fast. It is built as a plugin to Error Prone and can run on every single build of your code. In our measurements, the build-time overhead of running NullAway is usually less than 10%. NullAway is also practical: it does not prevent all possible NPEs in your code, but it catches most of the NPEs we have observed in production while imposing a reasonable annotation burden, giving a great "bang for your buck."
    Downloads: 3 This Week
    Last Update:
    See Project
  • 8
    Xiaomi.eu Multilang MIUI ROMs

    Xiaomi.eu Multilang MIUI ROMs

    OFFICIAL mirror of MIUI Multilang ROM by https://xiaomi.eu/

    Included languages: English (en.miui.com, xiaomi.eu) Chinese (miui.com) Polish (Acid, miuipolska.pl) Slovak (ingbrzy, https://miuios.cz) Czech (VMach, https://miuios.cz) Bulgarian (Global) Hungarian (vagyula, miui.hu) French (Global) Swedish (Global) Russian (Global) Ukrainian (Global) Belorussian (Global) Croatian (Masva, MIUI Adria) Vietnamese (Belmont-Gabriel) Italian (miui.it) Greek (Global) Norwegian (Global) Dutch (cueie, mannyribo, redmaner) Spanish (nosijf982)...
    Leader badge
    Downloads: 61,870 This Week
    Last Update:
    See Project
  • 9

    DVB Inspector

    DVB transport stream analyzer written in java

    DVB Inspector is a java program to analyze captured DVB-streams. It is not a real time tool that can interact with PC-TV DVB hardware directly. You have to use another program to record a Transport stream. It can show the logical structure of the DVB SI and PSI data. It can also show bit rate usage data. Support for for DSM-CC Object carousels, teletext, DVB subtitles Version control has moved to https://github.com/EricBerendsen/dvbinspector . New versions will be available for download...
    Downloads: 25 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 10

    plugfy

    Java byte code compatibility analyser

    Plugfy checks whether all dependencies of an extension are met. It pays special attention to method signatures and can detect incompatible byte code changes even if they are compatible at the source code level.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    A generic platform for fast and flexible development and delivery of a wide variety of immersive scenario-based games that enable professional skills acquisition. For further information see http://emergo.ou.nl/emergo/community/EN/emergo.htm. The platform is based on ZK framework (http://www.zkoss.org, ZK ZOL license: https://www.zkoss.org/license#peee) and Spring framework (http://www.springsource.org/spring-framework). NOTE: as of 2024, latest (mavenized) code base can be found at...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    Operating System Information Checker

    Simple app to get OS detailed specs and test internet speed.

    Simple application to get an operating systems detailed specifications. Also does an internet speed test.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Notepad

    Notepad

    A classic notepad editor with modern UI

    Notepad is a text editor for Windows, Mac, and Linux which provides modern UI and modern functionalities. NOTE: To run this software, Java must be installed on your device. If you don't have Java installed on your device then download it from here: https://www.java.com/en/
    Downloads: 5 This Week
    Last Update:
    See Project
  • 14
    LibreGrammar (LanguageTool fork)

    LibreGrammar (LanguageTool fork)

    Free and open-source style and grammar editor

    This is a free and open-source style and grammar checker forked from Languagetool. This project intends to be a full-blown software editor for French, English, German, Spanish, Portuguese and many other languages that enhances LanguageTool with extended rules — with emphasis on style rules —, and enables many rules disabled by default on LanguageTool project. Other changes include lower reliance on online mechanisms and extra languages. --- Este é um verificador de gramática e estilo gratuito e de código-fonte aberto, bifurcado do Languagetool. ...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 15
    hyperion-project

    hyperion-project

    An open source ambient light for many systems

    ...A tool which helps generate a Hyperion configuration file. The tool will also remember your settings from the previous run. 6 Android remote control to set a static color. 7.Kodi-checker which checks the playing and screensaver status of Kodi
    Downloads: 59 This Week
    Last Update:
    See Project
  • 16
    The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    Checksum Checker

    Checksum Checker

    Checksum Checker is a part of the Digital Preservation Platform from the National Archives of Australia. It calculates checksums of stored objects and compares them with entries in a database created by Digital Preservation Recorder. NO LONGER MAINTAINED, NO LONGER SUPPORTED
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    JWordProcessor - Java RTF Editor

    JWordProcessor - Java RTF Editor

    Your simple RTF editor completely in Java

    A simple Rich Text Editor made entirely in Java Swing. You can format the content with the profits advanced control panels to manage the font, style and color of the text, paragraphs and proceed to check the spelling of content. Finally you can insert pictures from your file system and use keyboard shortcuts to open the menu and activate the panels for advanced text formatting. ================================= Get Android App -...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 19
    digitalink-

    digitalink-

    Links Dailymotion videos, Reuters news feeds, IPTV & more

    Downloads: 2 This Week
    Last Update:
    See Project
  • 20

    Latin Square Toolbox

    Generates Latin squares and counts their transversals

    ...This open source release aims to help educate folks on Latin squares and their important applications to cryptography. This version contains three tools: 0. Latin Square Generator (LSG) 1. Latin Square Transversal Counter (LSTC) 2. Latin Square Property Checker (LSPC)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Gradle Retrolambda Plugin

    Gradle Retrolambda Plugin

    A gradle plugin for getting java lambda support in java 6, 7

    This plugin will automatically build your java or android project with retrolambda, giving you lambda goodness on java 6 or 7. It relies on the wonderful retrolambda by Esko Luontola. The minimum android gradle plugin is 1.5.0 and the minimum gradle plugin is 2.5. The plugin will compile the source code with java8 and then replace the class files with the output of retrolambda. Set the java version to compile to. The default is 6. Only 5, 6 or 7 are accepted. The default version of retrolambda used is 'net.orfjackal.retrolambda:retrolambda:2.5.6'. If you want to use a different one, you can configure it in your dependencies. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    AccessConverter

    A Microsoft Access database conversion tool to convert old and new Acc

    ...Online Application An online application that uses AccessConverter to convert databases can be found here https://lytrax.io/blog/tools/access-converter. Dependencies JDK 1.8 Apache Commons IO 2.5 (commons-io-2.5) Apache Commons Lang 2.6 (commons-lang-2.6) Apache Commons Lang 3.6 (commons-lang3-3.6) Apache Commons Logging 1.2 (commons-logging-1.2) SQLite JDBC Driver 3.18.0 (sqlite-jdbc-3.18.0) JSR 353 (JSON Processing) 1.0.2 (javax.json-1.0.2) Jackcess 2.1.8 (jackcess-2.1.8)
    Downloads: 9 This Week
    Last Update:
    See Project
  • 23
    With this tool you are able to test different hashes: - MD2 - MD5 - SHA1 - SHA224 - SHA256 - SHA384 - SHA512 Recommended Java 8 For any questions you may use the ticketing system .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    The Text Trix editor is an open-source, cross-platform text editor with a mind for user-friendly file and text navigation. See our new GitHub home for the latest and greatest Text Trix development: https://github.com/the4thchild/texttrix
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25

    VeriSiMPL

    Verification via biSimulations of Max-Plus-Linear models

    ...LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
MongoDB Logo MongoDB