Search Results for "validate"
Sort By:
Showing 19 open source projects for "validate"
View related business solutions-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
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
Azure Quantum Development Kit
Azure Quantum Development Kit
Azure Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas. The playground is a small website that loads the Q# editor, compiler, samples, katas, and documentation for the standard library. It's a way to manually validate any changes you make to these components. The easiest way to develop in this repo is to use VS Code. When you open the project root, by default VS Code will recommend you install the extensions listed in .vscode/extensions.json. These extensions provide language services for editing, as well as linters and formatters to ensure the code meets the requirements (which are checked by the build.py script and CI). -
2
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments. -
3
NVIDIA Isaac Sim
NVIDIA Isaac Sim is an open-source application on NVIDIA Omniverse
NVIDIA Isaac Sim is a high-fidelity robotics simulation platform built on NVIDIA Omniverse to develop, test, and validate AI-driven robots in physically accurate virtual environments. It supports a wide array of robotics formats (URDF, MJCF, CAD), includes GPU-accelerated physics, and features immersive RTX rendering and multisensory simulation. Realistic physics via GPU-accelerated engines and RTX ray tracing. Multi-sensor simulation (RGB-D cameras, Lidar, Radar, IMU, contact sensors). ... -
4
QMCF2
Quantum Mechanical Charge Field - Molecular Dynamics
...On Linux, open a terminal in `qmcf2_installer` and run: `python3 qmcf2_installer.py3` Review the detected compilers, libraries, paths, and warnings, then start the build. The manual is located at `qmcf2_html/qmcf2_doc/manual/qmcf2_manual.pdf`. QMCF2 is research software under active development. Validate calculations on small reference systems before production use. Licensed under GPL3. -
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
Aestel
Applications for data management
...The AESTEL package contains two highly configurable applications for data management: A data loader and a reporting application, i.e. DataLoader and AEREA, respectively. The data loader application applies user-defined instructions to validate, process and load data. The reporting application provides a query builder and spreadsheet template designer. Both applications work with any relational data model. (Postgres and Oracle have been tested). The two applications have been initially developed for small molecule drug discovery research. However, they can be extended for use in other data domains. -
6
NLIGA
Open source Matlab code for nonlinear isogeometric analysis
...Nonlinear hyperelastic and elastoplastic materials are primarily considered at this stage. Newton-Raphson method is used to solve the nonlinear governing equations. A series of benchmark examples are performed to validate the procedures. The visualization procedures are also developed to visualize the obtained results including displacements, stresses and numerical errors. References: [1] Xiaoxiao Du, Gang Zhao, Wei Wang, Mayi Guo, Ran Zhang, and Jiaming Yang. NLIGA: A MATLAB framework for nonlinear isogeometric analysis. Computer Aided Geometric Design, 2020, 80:101869... -
7
miRPV
miRPV: An automated pipeline for miRNA Prediction and Validation in si
miRPV is an Automated tool that allows users to predict and validate microRNA from genome/gene sequence. System Requirement CPU: AMD64 (64bit) Memory: 2Gb RAM Storage: 5Gb Ubuntu 18.04 -
8
Ethernet POWERLINK XDD Tool Suite
Provides eclipse plugins for XDD edit, validation and OD generation.
The plugins include functionality to edit and check CN / MN XDD / XDC files against the DS311 V1.2.0 and the DS 301 1.3.0 specification. Another plugin enables the user to generate the object dictionary header file from an XDD / XDC file for the openPOWERLINK (https://goo.gl/Cg77Oi) implementation. Please note that the validation functionality works properly for Controlled and Managing Node XDD / XDC files. Please use the update site to install the plugin in your eclipse... -
9
transitfeed
Tools for reading, validating & writing transit schedule info in GTFS
transitfeed helps to make public transit information projects more successful for agencies and other interested parties. It provides a library to help you parse, validate, and generate General Transit Feed Spec (GTFS) feed files. It contains several parts, including TransitFeed (Python package for reading, writing, and validating feeds); Feedvalidator (command line tool that checks a GTFS feed for problems); ScheduleViewer (application for exploring a feed on a map) and more; each with their own set of instructions. -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
BisSNP
Bisulfite-seq/NOMe-seq SNPs & cytosine methylation caller
...It uses bayesian inference with either manually specified or automatically estimated methylation probabilities of different cytosine context(not only CpG, CHH, CHG in Bisulfite-seq, but also GCH et.al. in other bisulfite treated sequencing) to determine genotypes and methylation levels simultaneously. It works for both of single-end and paired-end reads.Specificity and sensitivity has been validate by Illumina IM SNP array. In default threshold 30X data (Phred scale score > 20), it could detect 92.21% heterozygous SNPs with 0.14% false positive rate Cytosine calling is not only based on reference context, so it could detect non-reference cytosine context. Google group for help: http://goo.gl/zL7Nj -
11
A Java library to facilitate SED-ML support for systems biology applications to read, validate, edit, and write SED-ML documents in compliance with MIASE guidelines. Also contains modules to execute simulation tasks and produce outputs. This project also contains the SED-ED editor application for SED-ML.
-
12
BIRAP
Bacterial Intergenic Region Analysis Pipeline
BIRAP (Bacterial Intergenic Region Analysis Pipeline) is an open source, easy to use Perl pipeline that can be used to re-annotate bacterial genomes using experimental data. The tool integrates expression profile derived from RNA-seq and/or proteogenomics, compares it with existing in silico annotation and helps validate annotation, identify novel protein coding regions, putative non-coding RNA as well as help correct er-rors in the existing annotation. The pipeline requires “pileup” output from SAMtools for RNA-seq data and peptide/ePST locus file (GFF) from the Proteogenomic Mapping tool for prote-ogenomics data along with the genome and existing in silico annotation. ... -
13
ns-2 Trace Toolkit
This toolkit allows you to analyze and validate ns-2 traces
ns-2 Trace Toolkit was developed to help users to manage and debug ns-2 trace files. It is particularly useful for users that generate ns-2 trace files with other tools such as VanetMobiSim or SUMO (Simulation of Urban Mobility). With ns-2 Trace Toolkit, users can debug their trace files by generating histograms for: (1) node speed, (2) node x-position, and (3) node y-position. These histograms can give hits about concentration of nodes. Additionally, the tool allows users to simulate... -
14
Software developed under MATLAB R14 environment. It's aim is to make the modeling of bacterial inactivation system and adjust a simulator to obtain new data of the experiment or validate the one that has been obtained at the laboratory.
-
15
The SPASE Toolkit contains a set of command-line applications which can be used to generate, validate, referentially check, use and organize resource descriptions written in SPASE XML.
-
16
XAlgo is a xml-language to freely describe algorithms. With this software you are able to validate and even translate those XAlgo-Documents into normal sourcecode (currently Java and C++).
-
17
Append hundreds of different XML files into one large data document, validate, and attach a stylesheet. Stitcher is a porwerful summary reporting tool. Allows for complex file storage locations of xml data. UBL, HR-ML, LandXML ... visit stitcher.org.
-
18
Gestalt Biotec Corporation plans to release a set of drug-development system validation documents based upon the system development lifecycle model. These documents may be useful as examples to help validate your application in compliance with FDA regs.
-
19
FIDe is a software-based fault injector designed to validate Fault-Tolerant mechanisms and techniques used by applications. It was first used to measure database recovery coverage and costs, but can be used to test and validate ordinary applications.
- Previous
- You're on page 1
- Next
