Search Results for "vx-linux" - Page 31
Sort By:
Showing 4208 open source projects for "vx-linux"
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.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
OpenTRV
Open-Source Thermostatic Radiator Valve
Retrofit completely-open reference mechanical/hardware/software design for zoned heating control not relying critically on any proprietary/hacked components. The aim is to include at least one complete mechanical and software design for a replacement TRV head that can be retrofitted without any plumbing plus at least one simple boiler control to allow end-to-end open soft heating zoning, with the ability to connect to home automation system or the Net if required. -
2
WOLFGANG
Editor for Petri nets
Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use... -
3
TOVAL: Toms Java Library
Library with classes for common programming issues.
TOVAL comprises a set of java classes for common programming issues. It includes utils for arrays, lists, sets and collections for convenient handling and modification, but also support for mathematic definitions concerning logic (clauses + resolution) together with some algorithms for permutations, powersets and resolution. Additionally it contains a number of types for multisets, matrices with object keys and much more. -
4
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
5
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... -
6
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... -
7
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. ... -
8
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... -
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...
-
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
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.
-
11
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. -
12
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... -
13
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... -
14
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. -
15
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
-
16
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... -
17
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) -
18
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. -
19
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. -
20
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.
-
21
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... -
22
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. -
23
Hadoop-BAM is a Java library for the manipulation of files in common bioinformatics formats using the Hadoop MapReduce framework with the Picard SAM JDK, and command line tools similar to SAMtools. The file formats currently supported are BAM, SAM, FASTQ, FASTA, QSEQ, BCF, and VCF. For a longer high-level description of Hadoop-BAM, refer to the article "Hadoop-BAM: directly manipulating next generation sequencing data in the cloud" in Bioinformatics Volume 28 Issue 6 pp. 876-877,...
-
24
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.
-
25
Usul
Foundation bolt load for Pressure Vessel
