Search Results for "zlib-ada"
Sort By:
Showing 7 open source projects for "zlib-ada"
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.
-
$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.
-
1
MSqBAT
Label-free protein quantification for LC-MS
MSqBAT is a freely-available all-platform software application for label-free quantification of proteins from LS-MS data. It was developed in the lab of Dr. Christoph Rösli at the Heidelberg Institude for Stem Cells and Experimental Medicine (HI-STEM) and the German Cancer Research Center (DKFZ). It’s main features are 1) Label-free, MS1-based quantification 2) Support both LC-MALDI-MS- as well as LC-ESI-MS data 3) Supports both GeLC-MALDI-MS- and GeLC-ESI-MS data 4) Convenient,... -
2
Java Decision Diagram Libraries (BDD)
Java Decision Diagrams (BDD) libraries: JDD and JBDD
This project has been moved to bitbucket.org: - https://bitbucket.org/vahidi/jbdd/wiki/Home - https://bitbucket.org/vahidi/jdd/wiki/Home It includes two libraries for working with decision diagrams: - JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy - JDD: a native Java library supporting BDD, Z-BDD -
3
jWords is a port of WORDS (by William Whitaker, a free latin-to-english dictionary program written in Ada), to Java. Besides the dictionary will be translated to the German language.
-
4
The goal of this project is to develop open-source libraries for interval arithmetic and interval constraints in a wide variety of languages and for a wide variety of platforms. Demos and documentation will also be developed. provided.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
A version of the source I used in these videos on youtube: http://www.youtube.com/watch?v=5k6arok7zac http://www.youtube.com/watch?v=TaNu8-ObsXU and http://www.youtube.com/watch?v=7qAq61ATgqo . It requires Sunflow, JBullet, and Java.
-
6
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
-
7
WTelecom is a RealTime Software to manage a telecom network. This prototype can be implemented for a production use.
- Previous
- You're on page 1
- Next
