Search Results for "libamd.so.1" - Page 15
Sort By:
Showing 774 open source projects for "libamd.so.1"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
1
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
-
2
Blogspread is an open platform for the developmend of applications that analyze data from websites like blogs and forums. Blogspread is jointly developed by the University of Mannheim, Germany, the UFPE, Recife, Brasil and the UFAL, Maceio, Brasil.
-
3
-
4
-
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
Symbiomotive is an extensible engine for modeling multi-agent environments that exhibit self-organizing, symbiotic behaviors.
-
6
QSAR is a project that aims to build a GUI that enables people to build quantitative structure activity (or property) relationship models. It will use parts of CDK (cdk.sf.net), JOELib (joelib.sf.net), R (www.r-project.org) and other projects.
-
7
-
8
Avenzoar is a one-year exploration of renal cell carcinoma morphology and its related single nucleotide polymorphisms (SNPa) as a method of automating diagnosis of cancer by using a computer-aided decision tree controlled by analytical statistics.
-
9
The Receipt Reactive Gross Settlement (RRGS) method was proposed by Jamie McAndrews in Johnson-McAndrews and Soramaki (2004). This simulator allows simulations of one version of RRGS with historical payment data.
-
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.
-
10
-
11
-
12
The aim of the project is the creation of an multiuser, webenabled, datahandling, processing and visualisation tool for engineering data from the real word - with Datacollection, Charting, Mapping, Alerting, Messaging and Reporting capabilities .....
-
13
An artificial life simulator. A cross-platform application for simulating mutatable organisms on a field with different kind of resources.
-
14
Annotare is a tool for annotating Microarray and Gene Expression data. It will help a bench biologist construct a MIAME-compliant MAGE-TAB file.
-
15
-
16
Here is Archii (Automation and Remote Control for Home Intelligence and Interactivity). This french project proposes a set of Web Services dedicated to creation of a smarter house. It uses open-source products such as Petals ESB, FreeTTS...
-
17
GeoTech is a GIS based on Eclipse RCP. It uses OpenGL for visualization.
-
18
This is a Java-based remote control application that uses Bluetooth to control a Lego NXT. It uses simple one-line text message to inform the NXT brick on the state of a joystick and its buttons.
-
19
Project to test the quality of open source softwarte. It measures software metrics and shows constrains between them.
-
20
Systematic, light-weight, portable recording tool used to easily rate personal or other event properties over time. This application integrally stores user defined data; the profile of which can be viewed or subject to statistical analysis.
-
21
Development of RT-EdSB Middleware for Integrating Heterogenous Information Communication Devices in Ubiquitous Environment
-
22
SEALS addresses two key challenges: the creation of a lasting reference infrastructure for semantic technology evaluation and the continuous benchmarking of semantic technologies at a large scale via public worldwide evaluation campaigns.
-
23
-
24
A very simple Equity Investment Stragety Analyser tool. What it does : - Maintain Stock portfolios - Simulate Investment using NSE Historical bhav data files - Analyze different investment strategies against index performance - Graph the results
-
25
This project is a simple board computer car (emulated) to mobile phones. The goal is offer to the car user that don't have a board computer embeded. With a structor statistics and charts to analyze the performance of car (autonomy, fuels spending, etc)