Search Results for "linux-abi" - Page 70
Sort By:
Showing 11306 open source projects for "linux-abi"
View related business solutions-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
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.
-
1
-
2
xorlisp
Bit level lambda continuations and nothing else - Queue automata
Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a... -
3
Korat2015
Enhanced Korat supports GUI, FSM, JUNG and JSON.
Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs. Please see http://korat.sourceforge.net/index.html for more information on the Korat application. Korat 2015 includes the below enhancements to Korat: - Graphical User Interface using Java Swing - Graph Output Format using JUNG (Java Universal Network/Graph Framework) - Finite State Machine Domain - Graph Archival using JSON (JavaScript Object Notation) The Wiki page has... -
4
JGAP is a Genetic Algorithms and Genetic Programming package written in Java. It is designed to require minimum effort to use, but is also designed to be highly modular. JGAP features grid functionality and a lot of examples. Many unit tests included. Legal notice/Impressum: Klaus Meffert An der Struth 25 D-65510 Idstein sourceforge <at> klausmeffert.de
-
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
DJVU++
The DjVu complete solution,with OCR Technology(Arabic ,English).
DjVu++ is a user-friendly program that used to manipulate DjVu file formats such as eBooks with a penalty of editing features. The program introduce a free replacement for the property PDF format with similar resolution and smaller file size DjVu++ also support OCR to handle text in scanned books and images. The program shows good performance for English. In addition to the Arabic language to lead free and commercial software in this area. The main features of DjVu++ program are: o... -
6
Project development was moved to GitHub: https://github.com/dom4j/dom4j dom4j is a simple and flexible open source library for working with XML, XPath and XSLT on the Java platform using the Java Collections Framework with full integration with DOM, SAX and JAXP.
-
7
SEPIA: Security-oriented PN Framework
Petri net framework for security related modeling and reasoning.
SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and... -
8
dpcm-dt
DPCM DT automates the development of WSN applications
Wireless Sensor Network (WSN) application development is a complex task that involves knowledge over a broad range of technologies and requires special attention to many details, from system-level down to node hardware. DPCM DT is a toolset developed as part of the WSN-DPCM Artemis project that aims to help the developers to create WSN applications faster by automating most development tasks below the application-specific business logic. The toolset can be used both by the application... -
9
JAGAL: Java Graph Library
Java graph library
JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal. -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
10
FenixSped
Integração com Webservers do Projeto Sped, NFSe e GNRE
Projeto inclui serviços da nota fiscal eletronica nacional, notas fiscais eletrônicas de serviços e GNRE. Pode ser utilizado como biblioteca com funções prontas ou chamar via linha de comandos para assinatura digital, validações e comunicações com webservices. NFe 3.10 NFSe Abrasf, DSF e ISS.NET GNRE-PE -
11
Agilefant
The scalable open source tool for lean and agile project management
Agilefant is a simple but powerful web based tool for lean and agile project management. It is the most versatile open source solution of its kind today, with a rapidly growing user base of more than 10k users around the world in thousands of organizations. Based on more than ten years of solid scientific research within real world organizations, Agilefant's unique model scales from personal todo-lists to large-scale multi-team development and long-term product and portfolio... -
12
The project objective is the development of an optimization algorithm for the problem of stowing general cargo into platform supply vessels.
-
13
Eclipse Tiny Plugins
Small plug-ins for fixing Eclipse bugs or adding some basic features.
Small plug-ins for bug-fixing or extending Eclipse or its plug-ins, with the aim to make using Eclipse more productive and fun. -
14
MSCViewer
A tool for visualization and analysis of logs as sequence diagrams
MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems. The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts... -
15
GWT Highcharts is a freely available open source library that provides an elegant and feature complete approach for including Highcharts and Highstock visualizations within a GWT application using pure Java code. Note: the source code for this project is now being maintained on GitHub here: https://github.com/squinn/gwt-highcharts
-
16
java-sandbox
Securly execute untrusted code from within your application.
The java-sandbox allows you to securely execute untrusted code (for example, user generated scripts in scripting languages such as groovy or rhino) from within your application. It allows you to specify resources and classes that may be used by the code, thus, separating the execution from the application's execution environment. It allows to wrap execution environments in threads or even execute them remotely on different jvms. -
17
WSCreator
Java library for automated Soap & Rest web Services Creation
An awesome new way of adding SOAP and REST web services to any Spring IOC based Java project in minimum time. This library takes out all the pain part of implementing Soap & Rest Web Services specific code from developer's plate and does it in a very smart way. All you need to do is add dependency of this library to your project, add some annotations to your interfaces, add a servlet entry into your web.xml. & you are all set to go. Library uses Apache CXF to create SOAP based web services &... -
18
Protein Contact Matrix Generator
Command line application to generate contact matrix from proteins (3D)
A protein contact matrix is 2D representation of the distances between amino acid residues in a 3D protein structure. Protein Contact Map Generator (PCMGen) is a command line tool which takes protein 3D structures (PDB format files) as input and computes contact distances between two chains (from single or two different proteins). These matrix files can be further visualised as Contact Maps using other visualization tools/ programs (like R-heatmaps). Contact Maps can be used to understand... -
19
CSVTOHIVE
Generate Hive Scripts Automatically from CSV Files
Generates Hive Scripts Automatically from a CSV Files. 1. Script copies csv files to Hadoop Files System. 2. Generates CREATE statements to create tables. 3. Generates .hive files in the same folder as that of csv folder and also generates run.sh with all consolidated files. So just switch to the folder where .hive scripts are residing and run run.sh (./run.sh). This tool will also set execute permissions on .hive and run.sh scripts so you can directly execute run.sh. -
20
vfs dropbox plugin
A dropbox plugin for apache commons vfs
A dropbox plugin for apache commons vfs -
21
Ant-Ikvmc is an Ant task for IKVMC, a tool that converts Java bytecode to .NET dll's and exe's (available at www.ikvm.net). This library provides Ant interface to this tool. It also provides Java doclet to generate IKVMC mapping files from your sources
-
22
StrategyGenerator
Generator for strategy pattern code in Java
This project is inactive. Strategy Pattern and State Pattern are identical from the technical point of view. To support generation of State Pattern classes and Strategy Pattern classes the code of this project has been moved to the new project StrategyStateGenerator (https://sourceforge.net/projects/strategystategenerator/). The project StrategyStateGenerator offers generation of Strategy Pattern and State Pattern Java source code. However, the API has changed. Although the class... -
23
TeeTime
A Pipes & Filters framework for Java
TeeTime is a Pipes & Filters framework for Java. * many primitive and composite ready-to-use stages * a type-safe way to develop and connect stages * no(!) single-threaded overhead * only a minimal multi-threaded overhead * threads can be assigned to stages arbitrarily -
24
-
25
JavaFX MVC Framework
A light-weight JavaFX MVC Plugin Framework
It's a light-weight JavaFX Plugin Framework, which implements the idea of MVC structure. See the introduction.ppt file in the zip file you downloaded for more information
