Search Results for "linux-abi" - Page 85
Sort By:
Showing 11306 open source projects for "linux-abi"
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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
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... -
2
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... -
3
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... -
4
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
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
-
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
AnotherFSM
State machines for Java, FSM.
AnotherFSM is yet another implementation of state machines, a library for Java programming language. -
8
...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!
-
9
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... -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
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.
-
11
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
-
12
-
13
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. -
14
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. -
15
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... -
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
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
-
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
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. -
20
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). -
21
JAcralyzer
Erorr logs aggregator & analyzer
ACRA logs aggregator & analyzer based on Java & MongoDB -
22
-
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
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
-
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 (<...
