Search Results for "gnu/linux" - Page 42
Sort By:
Showing 4673 open source projects for "gnu/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.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
1
FSA is a probabilistic multiple sequence alignment algorithm which uses a "distance-based" approach to aligning homologous protein, RNA or DNA sequences.
-
2
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,... -
3
Curvilinear and Rectilinear Motions
Simple physics simulation of Curvilinear and Rectilinear Motions
This project has the role of simulating simple Curvilinear and Rectilinear Motions with an easy to use user interface. This program can be used for educational purposes as well as for any other purpose anyone would like. The executable file is a .jar files which means that it can run in any operating system that supports java. Above you can see a screenshot of the program while it is operating. -
4
PlaTypUS
Plasmodium Typing Utility Software
The goal of PlaTypUS is to establish a unified Plasmodium whole genome analysis tool, that aligns short read sequences in an agreed upon manner, with many quality control steps, and calls both SNVs and CNVs in a community agreed standard way. We also seek to provide this analysis in a stand-alone graphic user interface so that labs around the world can analyze their own whole genome sequencing data, rather than relying on outside institutes. -
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.
-
5
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.
-
6
-
7
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... -
8
This library aims to provide support for D-dimensional images in Java and to enable high-level implementation of algorithms in dimensionally-invariant manner. Major features: the dimensionality and the access to primitive data types are abstracted.
-
9
Quadriga
Quadruple Network Management System
Quadriga is a web-application that acts as a clearing-house for text annotations -- in the form of contextualized triples, or “quadruples,” that form complex graphs -- generated with the Vogon desktop application (https://sourceforge.net/projects/gobtan/), and as an environment for managing text-annotation projects. It relies on a central authentication system for user authentication, a dictionary service (Wordpower) and an authority file service (Conceptpower). Quadriga can connect to a... -
Forever Free Full-Stack Observability | 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
Virtual instrumentation software, currently designed for modifying automobile engines. Intended as a modular framework to communicate with devices on an IO port (serial, parallel etc.) and allow a visual representation of the instrument.
-
11
The Diffraction Image Experiment Repository (DIMER) is an online archive for diffraction experiments, providing secure storage during analysis and publishing of experiments so they can be linked to, searched, and integrated into other databases.
-
12
Conceptpower
Conceptpower is an authority file service.
Conceptpower is an authority file service, which is based on WordNet 3.0 (http://wordnet.princeton.edu) and can be extended as needed. Each entry in Conceptpower is identified by an URI, which should be used to refer to a particular entry. Conceptpower has three parts: a public search function, a management component, and a basic REST interface. The public search function provides the user with basic search functionality. The management component provides a simple user management, and term... -
13
HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
-
14
-
15
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... -
16
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... -
17
An integrated set of functions that automate many navigational and tidal calculations which can be time consuming and error prone if performed manually. It can be linked to a GPS to automatically receive position fixes and other information.
-
18
Java VCO Simulator
VCO Simulator written in Java.
This project is a demonstration of a Voltage Controlled Oscillator that is written in Java. -
19
TriageTools
Tools for partitioning and prioritizing fastq data
TriageTools is a collection of tools for partitioning raw data (fastq reads) from high-throughput sequencing projects. The tools are designed for basic data management as well for prioritizing analysis of certain subsets. The project wiki contains usage information. -
20
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 (<... -
21
Saferwater
Helping to improve drinking water safety where there isn't much.
This program helps the user risk assess the raw water quality, aids in determining optimum clarification and filtration, aids in developing an understanding of the disinfection process, and puts it together in an easy to follow HACCP plan, which identifies the critical barriers, monitoring and limits that should be applied to ensure a reduction in the raw water risk profile. The mitigated or residual risk profile is also given (i.e. assuming HACCP plan implementation) -
22
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
-
23
cy2fluxviz
cy2fluxviz : Cytoscape 2 plugin for flux distribution visualization
cy2fluxviz - Cytoscape 2 Plugin for the visualization of flux distributions in networks. Latest releases from https://github.com/matthiaskoenig/cy2fluxviz -
24
FALCON - Text Search Java Project
JSON based text search Java Project
----------------- - What is it? - ----------------- The "Falcon Search" is a JAVA API and tool to search inside the documents. It was originally started to search the content in pdf files under the project "HAWK Search". Searching with this tool is query-based not word-based as in most of the document search tools OR document readers. It also takes care of jumbling of words within query and spelling mistakes. Commonly used techniques in this project are Natural Language... -
25
Computing with units
Calculator that takes care of measurement units.
Java program for computations with values expressed in terms of physical or other units. Supports complicated mathematical expressions and user-defined functions. Invoked from scripts, line command, or as GUI. Extensive units data base.
