Search Results for "exploration"
Sort By:
Showing 18 open source projects for "exploration"
View related business solutions-
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.
-
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.
-
1
MathJax
Beautiful and accessible math in all browsers
...Use MathML, TeX, and ASCIImath as input and produce HTML+CSS, SVG, or MathML as output. MathJax works with screenreaders & provides expression zoom and interactive exploration. You also can copy equations into Office, LaTeX, wikis, and other software. -
2
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. 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... -
3
statsmodels
Statsmodels, statistical modeling and econometrics in Python
statsmodels is a Python module that provides classes and functions for the estimation of many different statistical models, as well as for conducting statistical tests, and statistical data exploration. An extensive list of result statistics are available for each estimator. 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. ... -
4
OmicsSuite
OmicsSuite: a suite for multi-omics analysis and visualization.
OmicsSuite (https://github.com/OmicsSuite/, https://omicssuite.github.io), original name BioSciTools, a desktop program developed based on Java 11, aims to make new exploration and contribution to the development of bioinformatics, and realize data analysis and visualization in the fields of sequence analysis, multimomics (transcriptomics, genomics, protein omics, metabonomics, single cell), microbiology, clinical, etc. The program inherits the excellent interactive components, perfect analysis function and beautiful operation interface of HiPlot (https://hiplot.cn), which I developed based VUE.js and Node.js, etc. -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
Mathematics
Accumulation of mathematical knowledge, matrix numerical optimization
...The goal is to provide learners, researchers, and developers with a consolidated source of foundational and advanced mathematical concepts. By gathering a diverse set of topics into one repository, it supports continuous learning and interdisciplinary exploration. Its open source nature allows for community contributions and adaptation to different educational or research needs. -
6
Buddhabrot Max
A Buddhabrot generator for large (>20000² px) renderings.
A escape time orbit fractal renderer written in C#. Consists of two separate programs, one focused on high resolution and high quality rendering ("Buddhabrot Max"), the other focused on realtime exploration / zooming ("Buddhabrot Mag"). Uses multithreading and hardware acceleration. Allows creating of huge renderings (if enough memory is available) and saving files with full 32 bit float dynamic range as OpenEXR files. You can easily add new formulas which are then runtime compiled for maximum performance. -
7
Functy
Functy is a 3D graph drawing package that generates immediate results.
...Functy is a 3D graph drawing package. It allows Cartesian, spherical and parametric curve functions to be plotted and altered quickly and easily. This immediacy and the vivid results promote fun exploration of 3D function. Rendering is performed entirely on the GPU to improve visuals and performance. Ubuntu functy PPA: https://launchpad.net/~flypig/+archive/ubuntu/ppa -
8
minepy
Maximal Information-based Nonparametric Exploration
The minepy homepage has moved to http://minepy.readthedocs.io. The download page is now at https://github.com/minepy/minepy/releases. -
9
Turing McCabe-Explorer
An exploration utility to view, render and record TMC-patterns
This utility is designed for comfortable and rich control over Turing-McCabe-patterns. It offers realtime exploration using several input parameters, storing and restoring settings, recording videos and taking snapshots of steps as well as rendering patterns in HD. -
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
10
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,... -
11
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
-
12
imDEV
Tools for multivariate data visualization, exploration and analysis.
You may also like some newer work: http://createdatasol.com/ Project imDEV is an application of RExcel, which seamlessly integrates Excel and R for tasks focused on multivariate data visualization, exploration, and analysis. Interactive modules for dimensional reduction (imPCA), prediction (imPLS), feature selection, analysis of correlation (imCorrelations) and generation of networked structures (imGraph) provide an integrated environment for systems level analysis of multivariate data. -
13
VisIVO Server is a new tool specifically designed for a grid environment. This tool offers a framework for exploration of large-scale scientific datasets, particularly related to cosmological simulations.
-
14
Real-Time Zooming Math Engine is a mathematical tool which provides exploration of complex plane geometry.
-
15
Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.
-
16
Fractal View is a fractal viewing application used for exploration of common fractal sets. It runs in fullscreen, supports four different fractal sets, has 22 different color palettes, saves in png format, does antialiasing, and zooms in all sets.
-
17
Fractal Assistant is a pure Java fractal exploration utility. It is designed to be a user-friendly, highly configurable environment with support for pluggable module files.
-
18
GPLconx is an educational visualization tool that allows exploration of lines and conic sections in three models of 2-D hyperbolic geometry.
- Previous
- You're on page 1
- Next
