Search Results for "vnc windows to linux" - Page 82
Sort By:
Showing 11007 open source projects for "vnc windows to linux"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
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
Trancestris
Trancestris is the translation tool for Ancestris
Trancestris is the translation tool for Ancestris, our genealogy program. Written in Java, trancestris is available for all OS. -
3
Open HLA (oh-la) provides an open-source implementation of the HLA RTI spec 1.3, IEEE 1516 and IEEE 1516 Evolved. It also provides a framework to wrap the standard RTI classes and FOM to code generation to make life simpler.
-
4
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... -
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.
-
5
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... -
6
...Asterix IDE offers superior support for JAVA and HTML5 developers, providing comprehensive editors and tools. Asterix IDE can be installed on all operating systems that support Java, from Windows to Linux to Mac OS systems. Write Once, Run Anywhere, is as true for Asterix IDE as it is for your own applications, because Asterix IDE itself is written in Java, too!
-
7
-
8
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
-
9
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
-
Full-stack observability with actually useful AI | Grafana CloudBuilt 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.
-
10
AnotherFSM
State machines for Java, FSM.
AnotherFSM is yet another implementation of state machines, a library for Java programming language. -
11
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... -
12
DaVinci Concurrente
Enseñanza programación estructurada concurrente español inicial
DaVinci Concurrente es un lenguaje orientado a la enseñanza de la programación estructurada para fortalecer los cimientos base de su aprendizaje, tanto en la etapa inicial de la programación secuencial como en la introducción a los conceptos básicos de la programación concurrente. Permite la visualización de la ejecución a través de una ciudad en la cual se puede controlar uno o más robots. Cada robot puede realizar diferentes acciones (por ejemplo tomar flores en la intersección que se encuentra). -
13
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.
-
14
Factory Equipment Network Testing
Measurement science-based performance & conformance testing framework
Real-time production information is needed to optimize manufacturing activities in a factory, but acquiring this information from isolated proprietary equipment is a manual process that takes time and introduces errors. Connecting equipment to the factory network can make accurate production information immediately available, but widespread interconnection of equipment has been inhibited by the lack of common information models and methods to measure performance and conformance. This project... -
15
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
-
16
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. -
17
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... -
18
A framework based on a concept of isolation. The isolation level of each component allow interchanging any of them for other with a similar function
-
19
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. -
20
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
-
21
ep2svg Maven Plugin
Plugin Maven para convertir mockups en imagenes formato SVG
Plugin de Maven para convertir mockups creados con Pencil en imagenes con formato SVG. De gran ayuda cuando se esta documentando una aplicacion y disponemos de los mockups y queremos incluirlos a la documentacion como imagen. Combinado con Docbook es una herramienta complementaria muy util. -
22
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
-
23
bz-htmlcss2rtf
PHP/Java Making RTF and HTML (with CSS and Script Code) Files
This application was developed in PHP/Java and helps to you to generate RTF File including Images, Tables and Lists. It is useful to generate html files with css and script code in design mode. -
24
-
25
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 (<...
