Search Results for "libamd.so.1"
Sort By:
Showing 353 open source projects for "libamd.so.1"
View related business solutions-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
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.
-
1
pyVideoTrans
Translate the video from one language to another and embed dubbing
pyVideoTrans is an ambitious open-source multimedia processing project that assembles speech recognition, subtitle generation, AI translation, voice synthesis, and video assembly into a unified pipeline for converting videos from one language to another with embedded dubbing and captions. At its core it runs speech-to-text models to transcribe audio tracks, translates the resulting text into a target language using local or cloud-based translation engines, synthesizes new speech to match the translated subtitles, and then merges that speech back into the video, creating a fully localized media file. ... -
2
PyTensor
Python library for defining and optimizing mathematical expressions
...Extensible graph framework is suitable for rapid development of custom operators and symbolic optimizations. Implements an extensible graph transpilation framework that currently provides compilation via C, JAX, and Numba. Based on one of the most widely-used Python tensor libraries: Theano. -
3
Segments.ai
Segments.ai Python SDK
...Powerful ML assistance lets you label faster and reduce costs. Integrate data labeling into your existing ML pipelines and workflows using our simple yet powerful Python SDK. Onboard your own workforce or use one of our workforce partners. Our management tools make it easy to label and review large datasets together. Now, Segments.ai is providing a data labeling backbone to help robotics and AV companies build better datasets. -
4
Open X-Embodiment
Unified open dataset enabling cross-embodiment learning for robotics
...The dataset aggregates contributions from multiple open-source robotic projects, all harmonized under a single unified data schema. The repository also provides Colab notebooks for dataset visualization, batching, and model inference, along with pretrained model checkpoints such as RT-1-X, a multitask robotic transformer model trained on this data. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
SciPy
SciPy library main repository
This is the main repository for the SciPy library, one of the core packages that make up the SciPy stack. SciPy is an open source software used in the fields of mathematics, science, and engineering, with modules for statistics, optimization, integration, linear algebra, signal and image processing, and many more. The SciPy library contains many of the user-friendly and efficient numerical routines, including those for numerical integration, interpolation, and optimization. ... -
6
AlphaGenome
Programmatic access to the AlphaGenome model
...AlphaGenome offers multimodal predictions, encompassing diverse functional outputs such as gene expression, splicing patterns, chromatin features, and contact maps. The model analyzes DNA sequences of up to 1 million base pairs in length and can deliver predictions at single-base-pair resolution for most outputs. AlphaGenome achieves state-of-the-art performance across a range of genomic prediction benchmarks, including numerous diverse variant effect prediction tasks. -
7
AWS Data Wrangler
Pandas on AWS, easy integration with Athena, Glue, Redshift, etc.
...Run a query against AWS CloudWatchLogs Insights and convert the results to Pandas DataFrame. Get QuickSight dashboard ID given a name and fails if there is more than 1 ID associated with this name. List IAM policy assignments in the current Amazon QuickSight account. -
8
Evo 2
Genome modeling and design across all domains of life
Evo 2 is a DNA language model system designed for long-context genome modeling and biological sequence design across all domains of life. The project models DNA at single-nucleotide resolution and supports context windows of up to one million base pairs, which places it in a class of models built for very large genomic reasoning tasks. According to the repository, it uses the StripedHyena 2 architecture, was pretrained with Savanna, and was trained autoregressively on the OpenGenome2 dataset containing 8.8 trillion tokens. The codebase is focused on local inference and generation through the Vortex inference stack rather than serving as a full training framework alone, although it also points users to training and fine-tuning resources. ... -
9
FairChem
FAIR Chemistry's library of machine learning methods for chemistry
...The centerpiece models (e.g., UMA variants) plug directly into the ASE ecosystem via a FAIRChem calculator, so users can run relaxations, molecular dynamics, spin-state energetics, and surface catalysis workflows with the same pretrained network by switching a task flag. Tasks span heterogeneous domains—catalysis (OC20-style), inorganic materials (OMat), molecules (OMol), MOFs (ODAC), and molecular crystals (OMC)—allowing one model family to serve many simulations. The README provides quick paths for pulling models (e.g., via Hugging Face access), then running energy/force predictions on GPU or CPU. -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
10
JAX
Composable transformations of Python+NumPy programs
...Compilation happens under the hood by default, with library calls getting just-in-time compiled and executed. But JAX also lets you just-in-time compile your own Python functions into XLA-optimized kernels using a one-function API, jit. Compilation and automatic differentiation can be composed arbitrarily, so you can express sophisticated algorithms and get maximal performance without leaving Python. -
11
MathCode
A Frontier Mathematical Coding Agent
...The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines. -
12
statsmodels
Statsmodels, statistical modeling and econometrics in Python
...The results are tested against existing statistical packages to ensure that they are correct. The package is released under the open source Modified BSD (3-clause) license. Generalized linear models with support for all of the one-parameter exponential family distributions. Markov switching models (MSAR), also known as Hidden Markov Models (HMM). Vector autoregressive models, VAR and structural VAR. Vector error correction model, VECM. Robust linear models with support for several M-estimators. statsmodels supports specifying models using R-style formulas and pandas DataFrames. -
13
Napkin
An Infinitely Large Napkin
Napkin (also titled “An Infinitely Large Napkin”) is a lightweight, semi-formal introduction to higher mathematics, aimed at giving readers a bird’s-eye view over various mathematical fields. It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how... -
14
WinPython
Portable Scientific Python 2/3 32/64bit Distribution for Windows
WinPython is a free open-source portable distribution of the Python programming language for Windows XP/7/8, designed for scientists, supporting both 32bit and 64bit versions of Python 2 and Python 3. Since September 2014, Developpement has moved to https://winpython.github.io/ -
15
Abacus software
Software to control and analyze Tausand Abacus coincidence devices
Abacus Software is a specialized tool for controlling and analyzing Tausand Abacus devices (AB1002, AB1004, AB1502, AB1504, AB2502, and AB2504). It enables precise measurement of temporal coincidences with up to 2-nanosecond resolution, and real-time visualization of count data from one, two, or three channels simultaneously. The software includes advanced features such as adjustable line width, sampling time configuration, direct device settings control, and the ability to save both raw data and graphical outputs for later analysis. Designed for researchers, engineers, and educators, Abacus Software provides a user-friendly interface and powerful visualization tools to support high-resolution timing analysis in experimental setups. -
16
DAE Tools Project
Object-oriented equation-based modelling and optimisation software
...It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as plotting and exporting to various file formats - Report generation - Code generation, co-simulation and model exchange The following class of problems can be solved by DAE Tools: - Initial value problems of implicit form - Index-1 DAE systems - With lumped or distributed parameters - Steady-state or dynamic - Continuous with some elements of event-driven systems -
17
Minsky
System dynamics program with additional features for economics
...Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at https://www.patreon.com/Ravelation/. This creates a user community, which SourceForge doesn't facilitate. -
18
SMILI
Scientific Visualisation Made Easy
...The applications are all built out of a uniform user-interface framework that provides a very high level (Qt) interface to powerful image processing and scientific visualisation algorithms from the Insight Toolkit (ITK) and Visualisation Toolkit (VTK). The framework allows one to build stand-alone medical imaging applications quickly and easily. -
19
FEATool Multiphysics - FEA & CFD Toolbox
FEATool Multiphysics is an easy-to-use FEA and CFD Simulation Toolbox
...In addition to built-in CAD and pre/post-processing, automatic mesh generation, and multi-physics solvers, FEATool also seamlessly integrates the state-of-the-art OpenFOAM [1], SU2, and FEniCS CFD and FEA solvers. Moreover, native itegration with MATLAB and Python allows advanced simulation scripts and programmatic use cases such as in AI and machine learning [2]. [1]: https://www.featool.com/Easy-to-Use-OpenFOAM-GUI/ [2]: https://featool.com/model-showcase/2024-11-12-CFD-and-Flow-Prediction-Based-on-Deep-Learning -
20
OdooPLM
A Full PLM system based on odoo
...Manage 3D models, 2D drawings, BOMs, revisions and documents directly inside Odoo, with a Windows connector for the most common CAD systems. This SourceForge project hosts the WINDOWS CAD CONNECTOR. One connector works with all supported Odoo versions (v11 and later) — no need to match it to your server. Download it from the https://sourceforge.net/projects/openerpplm/files/Client/Stable/ The Odoo server modules are NOT here. Get them from: Odoo Apps Store: apps.odoo.com/apps/modules/browse?search=omniasolutions GitHub: github.com/OmniaGit/odooplm Install the modules on your Odoo server first, then the connector on your CAD workstation. ... -
21
SDF Merger
Desktop application for merging multiple SDF files into a single SDF
...The tool provides an graphical interface to merge multiple SDF files containing chemical structures and properties into a single consolidated file. Key Features: 1. User-Friendly GUI: Clean, professional interface with corporate branding 2. Batch Processing: Automatically finds and merges all SDF files in a selected folder 3. Real-time Progress Tracking: Visual progress bar and status updates during merging Technical Specifications: 1. Language: Python 3 2. GUI Framework: Tkinter 3. Chemistry Library: RDKit for chemical data processing 4. ... -
22
Baya - SoC Integration Platform
Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
1. Comes with 200+ high level Tcl commands around SoC platform assembly 2. Easy to start - use the verilog2baya tool to convert existing SoC/SS into Baya 3. Adhoc and Interface based connections 4. Autoconnections 5. Rule based connections between component ports 6. A variety of SoC integration Methodologies 6.a. XLS/CSV Based connections 6.b. -
23
Tellurium
Model, simulate, and analyze biochemical systems using one tool.
Tellurium (te.) is a Python environment supporting Spyder2 IDE and Jupyter Notebook aimed for large-scale systems and synthetic biology simulation. It combines a number of existing libraries, including libSBML, libRoadRunner (including libStruct), libAntimony, and is extensible via tePlugins. In addition other tools kits such as matplotlib and NumPy are used to provide additional analysis and plotting support. -
24
QUAST
Quality Assessment Tool for Genome Assemblies
...A comprehensive analysis results in summary tables (in plain text, tab-separated, and LaTeX formats) and colorful plots. The tool also produces web-based reports condensing all information in one easy-to-navigate file. QUAST and its three follow-up papers (MetaQUAST, Icarus, QUAST-LG) papers were published in Bioinformatics; the last paper (WebQUAST) is out in Nucl Acid Research. -
25
NZMATH
Python Calculator on Number Theory, three-birds-one learning material
...The "notebook" is available together. It is designed for beginning students of algorithmic number theory to self-study Number Theory, Programming and scientific English together, three-birds-one learning material. It is possible only by running and reading the programs. You can get the notebook here: https://sourceforge.net/projects/nzmath/files/nzmath-enttakagi/ Visit our home page in detail: https://nzmath.sourceforge.io/