Search Results for "linux-abi" - Page 31
Sort By:
Showing 4207 open source projects for "linux-abi"
View related business solutions-
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.
-
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.
-
1
Krowface (Krowdix 3.0) is a simulation and implementation tool of social networks. To visualize and analyze the evolution of different social networks in real time. And the creation of a social network, configuring the parameters that define it. All this through a simple web interface and user friendly.
-
2
An API for manipulating EDIF netlists in Java. We use this API to analyze netlists as a part of our FPGA reliability project. We intend to keep the API as general as possible to support other netlist analysis and manipulation activities. This material is based upon work supported by the National Science Foundation under Grant No. 0801876. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the...
-
3
Library of various Java Swing user interface components, with emphasis on views and editors for complex data structures, like collections, sets, lists, maps, graphs, and matrices.
-
4
Virmid
Virtual Microdissection for SNP calling
NEWS: 11-07-2013 A new version Virmid 1.1.0 has been uploaded. 08-29-2013 Virmid paper is now published in Genome Biology. Kim S et al, "Virmid: accurate detection of somatic mutations with sample impurity inference", Genome Biology 2013, 14:R90 http://genomebiology.com/2013/14/8/R90/abstract Virmid (Virtual Microdissection for SNP calling) is a Java based variant caller designed for disease-control matched samples. Virmid is also specialized for identifying potential within... -
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.
-
5
MOEA Framework
A Free and Open Source Java Framework for Multiobjective Optimization
The MOEA Framework is a free and open source Java library for developing and experimenting with multiobjective evolutionary algorithms (MOEAs) and other general-purpose multiobjective optimization algorithms. The MOEA Framework supports genetic algorithms, differential evolution, particle swarm optimization, genetic programming, grammatical evolution, and more. A number of algorithms are provided out-of-the-box, including NSGA-II, NSGA-III, ε-MOEA, GDE3 and MOEA/D. In addition, the MOEA... -
6
Temperature Unit Converter
Temperature Unit Converter
Android app now available! You can download .apk file from 'Files' section. (Or by visiting this page from your Android device) ---------------------------- A simple and useful GUI(Linux only) and command line program that lets you convert widely used temperature units to each other: Fahrenheit, Celsius and Kelvin. ------------------------------- Written by İ. Yuşa Çetin Using Python and gtk for GUI, C for algorithms and command line usage, Java for the Android version. ------------------------------------- This is still a Beta, so no one in the universe is responsible for anything happens :) I have it on my own computer and it's working properly. ... -
7
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... -
8
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
-
9
merlin is an user-friendly Java application that performs the reconstruction of genome-scale metabolic models for any organism that has its genome sequenced. It performs several steps of the reconstruction process, including the functional genomic annotations of the whole genome. Moreover, merlin includes tools for the identification and annotation of transport proteins encoding genes, as well as the generation of transport reactions for such carriers. Also, merlin includes tools for the...
-
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.
-
10
eyeCure
eyeCure helps you cure your ill eyes, tired or intermittent exotropia.
eyeCure helps you cure your tired eyes or intermittent exotropia (exodeviation) by forcing you take rest regularly, if you don't feel good in eyes, or even have headache for too much computer usage. eyeCure did help me feel much better. Hope it helps you too. -
11
ConvertMAS
ConvertMAS converts Chemical File Formats mol, mol2 and sdf.
ConvertMAS - molecule converter; use to convert Chemical File Formats. It works on mol, mol2 and sdf files. It converts single file to respective formats. It will split sdf file with multiple molecules into seperate single files of any desired format. Also ConvertMAS creates sdf files from joining of mol, mol2 and sdf files. This is stand alone application; hence no need of internet connectivity to get results. It will generate output files in less time. Various online tools are available... -
12
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... -
13
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. -
14
XMIPP is an image processing suite for 3D-reconstruction of biological specimens from transmission electron microscopy data. NOTE that stable releases (including binaries) are longer stored at Sourceforge, but are available at http://xmipp.cnb.csic.es
-
15
SEWOL: Security-oriented Workflow Lib
Java Library for workflow handling
SEWOL provides support for the handling of workflow traces. It allows to specify the shape and content of process traces in terms of entries representing the execution of a specific workflow activity. Currently it supports plain text, Petrify, MXML and XES log file types. In order to specify security-related context information, SEWOL provides access control models such as access control lists (ACL) and role-based access control models (RBAC). SEWOL uses and encloses the following... -
16
Tellervo
Dendrochronological sample measurement, curation and analysis program
Tellervo enables users to measure, curate and analyse dendrochronological samples. It has a server/client architecture enabling users to collaborate within and between laboratories. -
17
Lompad
Metatagging Editor for Learning Object Metadata (IEEE's LOM)
Lompad is a metatagging tool for learning object. It supports the IEEE-lom spec and SCORM, CANCORE and Normetic profiles. The interface is available in French, English and Spanish Consult the project's Web Site for more information. -
18
MD PnP | OpenICE
Open Source Integrated Clinical Environment
As of 2015-06-23, this project may now be found at http://www.github.com/mdpnp/mdpnp. A prototype reference implementation of the standard for the Integrated Clinical Environment (ASTM F2761-2009) -
19
Interactive Web Physics is a Java, Web-based animation and problem designer tool. Anyone can quickly design mathematics or physics animations and simulations that run in a web browser. Unlike other solutions, no knowledge of programming is required.
-
20
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... -
21
DbOutputter4RS
Plugin for Repast Simphony that supports storage of results in a DB
Insalling the plugin it is possible to direct data collected by data gatherers into a MySQL database. The database connection is configured via a wizzard. The whole process is similar to putting data to a file. -
22
Moved to GitHub. This is the old, unmaintained source code. https://github.com/zet-evacuation A tool to model and simulate evacuation situations in buildings using flows on graphs and cellular automatons. It allows visualization of both models in OpenGL.
-
23
Usul
Foundation bolt load for Pressure Vessel
-
24
XMLPipeDB is a suite of tools for building relational databases from XML sources with minimal manual processing of the data. While the applicability is general, our motivation was to facilitate the management of biological data from different sources.
-
25
Java ray tracing library. Intended for optic system design, not intended for rendering. Handles generic surfaces (cone, sphere, cylinder, user-defined) including Fresnel or micro-structured material; handles reflection and refraction.
