Search Results for "open source tv" - Page 90
Sort By:
Showing 12497 open source projects for "open source tv"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
1
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
2
ontocomp
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
OntoComP is a Protégé 4 plug-in for completing OWL ontologies. It enables the user to check whether an OWL ontology contains "all relevant information" about the application domain, and extends the ontology appropriately if this is not the case. It achieves this by asking the user questions of the form "are instances of classes C1 and C2 also instances of class C3?". If the user confirms such a question, then a new axiom of the application domain that does not follow from the ontology has... -
3
Yacap
Yet Another Command Argument Parser
A highly configurable command line parser with help generation support. * Easy to configure option sets based on builder patterns * Typed options: boolean, string, int, long, double and enum * Dual POSIX short and GNU long parameter names * Support for unnamed (such as file list after options) and internal options (options are unparsed after --) * One step parsing * Result set with safe and typed getters * Error messages and warnings returned by result set * Text-based help... -
4
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
JavaDoc offline viewer, which alows to filter keywords by part of the word, with multidocument tabbed interface. I created this project when learned Java and missed some features present in 'Qt Assistant' documentation viewer. For example, *.chm files with documentation didn't allow to merge (Java SE/Java EE documentation), html files didn't allow to filter list by keywords, etc.
-
6
Java address standardization API that utilizes google's geocoding service. It parses an input address, sends it to google geocode service via http and then parses the return result into an address object. You get a free geocoding service thanks to googl
-
7
ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
-
8
JavaDocs
My project to play around with Java and SVN
-
9
AnotherFSM
State machines for Java, FSM.
AnotherFSM is yet another implementation of state machines, a library for Java programming language. -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
10
PHDL
An HDL alternative to PCB graphical schematic capture tools.
PHDL is an HDL that functions as an alternative to mainstream graphical schematic capture tools. The language is compiled into a pcb netlist which can then be imported into a layout tool. We are currently on version 2.1 of the tool. We have created an eclipse plugin version of the tool as well as a standalone command-line based version. Both function identically and output a netlist that can be imported into a pcb layout tool. VHDL revolutionized how FPGA designs and digital logic... -
11
-
12
An Eclipse plugin for running/debugging Java web applications with Jetty (successor of JettyLauncher) Features: - Support for Jetty 6, 7, 8 and 9 - Included Jetty8 - M2Eclipse Support - JSP Support - JNDI Support
-
13
Hcon Security Testing Framework
Open Source Penetration Testing / Ethical Hacking Framework
HconSTF is Open Source Penetration Testing Framework based on different browser technologies, Which helps any security professional to assists in the Penetration testing or vulnerability scanning assessments.contains webtools which are powerful in doing xss(cross site scripting), Sql injection, siXSS, CSRF, Trace XSS, RFI, LFI, etc. Even useful to anybody interested in information security domain - students, Security Professionals,web developers, manual vulnerability assessments and much more. -
14
Aspose for Hadoop
This project holds source code for Aspose for Hadoop project.
Aspose for Hadoop project enables Apache Hadoop / MapReduce developers to work with various binary file formats. The developers can create and convert binary sequence files into text sequence files. -
15
-
16
famos
Framework for Agent-oriented MOdelling and Simulation
Famos is a Java-based framework for developing agent-based models. It uses the discrete-event simulation framework Desmo-J (http://desmoj.sourceforge.net) as its simulation engine. Famos implements event-driven time advance and focusses on supporting an explicit model of space for the environment, including the movement of agents. Famos was developed in the context of a PhD project. Many aspects of its implementation are therefore still in the prototype stage. It does come with two... -
17
Joxy Look and Feel
Java Swing Look and Feel for integration with the KDE Oxygen theme.
The KDE desktop environment uses the Oxygen theme by default. By default, Java applications don't follow this theme at all. The Joxy Look and Feel is a "skin" to let Java Swing applications look like the Oxygen theme. Joxy is not an application itself, but a skin for other programs. For installation instructions, please see Joxy's website. Questions about Joxy can be asked in the Discussion section. -
18
XMLVM is an XML-based programming language build upon a virtual machine concept. Both Java and .NET byte code instructions can be mapped to XMLVM. XSL stylesheets allow manipulation of XMLVM such as cross-compilation to JavaScript for AJAX applicatio
-
19
JBCD is an interactive debugger for Java bytecode. It allows a programmer to step through bytecode one statement at time. The tool is indended for people who are writing programs to generate or modify bytecode. JBCD can be used with any Java compiler a
-
20
Alchemy OS
Development and distribution platform for mobile phones
Alchemy OS is a software development and distribution platform for mobile phones with Java support. Although this is not an operating system in the full sense, it provides rich platform to develop, compile and run applications directly in the phone, as well as install already written applications. -
21
NetBeans Portable just makes NetBeans IDE (http://netbeans.org) usable from a USB-Stick. See also: http://portableapps.com.
-
22
JAcralyzer
Erorr logs aggregator & analyzer
ACRA logs aggregator & analyzer based on Java & MongoDB -
23
JCycles
[frozen] A library for computing cycles in graphs or in Java code.
[This project is frozen, but has an offspring with more features: https://github.com/jeffhain/jadecy ] JCycles provides treatments to compute cycles, or just strongly connected components, in directed graphs in general, or in classes or packages dependencies graphs parsed from class files (major version <= 51, else does best effort). It uses Tarjan's algorithm for SCCs, and Johnson's for cycles, with continuations instead of recursion, which allows to handle large graphs (<... -
24
NRL is a near-English, model-driven language for expression business constraints, actions and transformations. It works with diverse models, such as UML or XML Schema, and is designed to make it easy to translate to target languages like Java or XSLT
-
25
