Search Results for "aosp-project-mido"
Sort By:
Showing 59 open source projects for "aosp-project-mido"
View related business solutions-
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.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
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 mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. ... -
2
sequoia-dap
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** ***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** ***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** Within the SIROCCO suite of numerical tools, the purpose of SDAP is to provide a flexible platform to carry out multivariate assimilation of geophysical data in a numerical model. -
3
Miramath is an open source project inspired by the MathCad mathematical application. The main user interface consists of a page into which mathematical expressions can be entered or edited and then evaluated.
-
4
book
A textbook on informal homotopy type theory
The canonical Homotopy Type Theory informal textbook, initiated at the Institute for Advanced Study (2012–13) under the Univalent Foundations project. It presents the theory pedagogically without requiring technical proof assistant 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.
-
5
pjscicalc
A scientific calculator written in Python
A scientific calculator written in Python, this project uses the wxPython and mpmath modules to create a scientific calculator suitable for use on a computer desktop. It is largely a rewrite and update of jscicalc. It has much higher precision. -
6
Python Calculator
My own project
Made like in one day, using PyQT5, QT Designer, and PyInstaller -
7
Python/FEniCS Examples
phase-field simulation and other examples with Python/FEniCS
The main goal of this project was developing phase-field simulations of lithium dendrite growth with FEniCS programmed in Python. The problem was based in the grand potential-based model of Zijian Hong and Venkatasubramanian Viswanathan (https://doi.org/10.1021/acsenergylett.8b01009) . Some simpler examples were developed before for a first approach with FEniCS: heat equation and combustion model. -
8
DEBay
Deconvolutes qPCR data to estimate cell-type-specific gene expression
DEBay: Deconvolution of Ensemble through Bayes-approach DEBay estimates cell type-specific gene expression by deconvolution of quantitative PCR data of a mixed population. It will be useful in experiments where the segregation of different cell types in a sample is arduous, but the proportion of different cell types in the sample can be measured. DEBay uses the population distribution data and the qPCR data to calculate the relative expression of the target gene in different cell types in... -
9
pyMathSpeak
A Python implementation of the MathSpeak Core Specification
**NOTE**: This project has been moved to https://github.com/timothytylee/pymathspeak pyMathSpeak is a Python package that translates MathML equations into spoken text. It implements the MathSpeak Core Specification publicly available at http://www.gh-mathspeak.com/examples/grammar-rules/ The default translation targets English. Localization for different languages is possible, and a Traditional Chinese MathML translator is included for reference. -
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
AirTSP
Simulated Airline Travel Solution Provider Library
AirTSP is also named AirTSP (TSP standing for Travel Service Provider). That project aims at providing a clean API and a simple implementation, as a C++ library, of an Airline Schedule Management System. It is intended to be used in simulated environments only: it is not designed to work in the real-world of Airline IT operations. AirTSP/AirTSP makes an extensive use of existing open-source libraries for increased functionality, speed and accuracy. -
11
SciEnPlot
Data Plotting and Analysis for Science and Engineering
- Save and open a Work/Project (spf) file - Single fitting/ Batch fitting (user defined custom func) - Matrix to XYZ in Tool menu - Symbol plot: makers, curve, landscape, bar, etc. - Implemented a 3d surface plot (GLSurface) based on OpenGL (ScienPlot v1.3.2 and above) - ColorMap surface, trisurface, Pie, Polar plots, and 3D height field, 3dBar, scatter plots (under developing), and more - Column by column plotting/calculation - LaTex commands enclosed by $ symbols can be used for the labels in Graph - Accept txt(Text) and csv(Comma separated values) formatted data - Save, copy, print Graph - Use spread sheets to display data - Textboard to organize the results - Graphs in a publishable quality - Source codes based on: Python Numpy Scipy Matplotlib WxPython Visvis etc... -
12
That project aims at providing a clean API and a simple implementation, as a C++ library, of a Travel-oriented fare engine. It corresponds to the simulated version of the real-world Fare Quote System.
-
13
That project aims at providing a clean API and a simple implementation, as a C++ library, of a Travel-oriented Distribution System. It corresponds to the simulated version of the real-world Computerized Reservation Systems (CRS).
-
14
That project aims at providing a clean API and a simple implementation, as a C++ library, of an Airline-related Inventory Management system. That library uses the Standard Airline IT C++ object model (http://sf.net/projects/stdair).
-
15
Travel Market Simulator
Travel Market Simulator
That project aims at studying the impact of IT systems interactions on traveller demand and airline revenues. Passenger demand is generated (Monte Carlo) and injected into simulated CRS and airline IT systems. Differential analysis is then performed on various changes compared to a bottom line scenario. -
16
pure python polyfit
python2/3: compute polyfit (1D, 2D, N-D) without thirdparty libraries
python2/3: compute polyfit (1D, 2D, N-D) without any thirdparty library like numpy, scipy etc. also can be used for least squares solution computation and for A=QR matrix decomposition. Tested with python 2.7 and 3.4 Consider donating to this project: https://sourceforge.net/p/purepythonpolyfit/donation For a Sample use, refer to the WIKI -
17
That project aims at delivering a reference implementation of a library, estimating and serving average prices paid for air travel products. It is not intended for use by an actual airline, but rather by simulators or other airline-related modules of
-
18
DEAPathways
Differential Expression Analysis for Pathways
This project contains the source code associated with the PLoS Computational Biology publication: "Differential Expression Analysis for Pathways". The paper text can be found here: http://www.ploscompbiol.org/article/info%3Adoi%2F10.1371%2Fjournal.pcbi.1002967 -
19
RPy is a very simple, yet robust, Python interface to the R Programming Language. It can manage all kinds of R objects and can execute arbitrary R functions (including the graphic functions). RPy has been superseded by the RPy2 project: https://rpy2.github.io/
-
20
This project provides a Fortran90 library and a python module for singular spectrum analyses such as PCA/EOF or MSSA. It is intended for people interested, for example, in analysing climate or financial variability.
-
21
slycat
Web-based data science analysis and visualization platform.
This is Slycat - a web-based data science analysis and visualization platform, created at Sandia National Laboratories. The goal of the Slycat project is to develop processes, tools and techniques to support data science, particularly analysis of large, high-dimensional data. -
22
That project aims at studying and comparing typical airline IT methods, for instance RM-related algorithms. It works from a Unix/Linux/Mac command-line, and exposes basic APIs. It is being developed in C++, with Python wrappers for some components.
-
23
Alchemy Linux
A linux distribution for chemists
Alchemy Linux is a Linux distribution (based on Fedora) for chemists (and mathematicians and physicists). This remix comes with a whole set of packages to help with experiments, simulations and publications. (This project is not maintained or endorsed by Red Hat or the Fedora project). -
24
SalStat is a small application for statistical analysis emphasising the sciences and social sciences (particularly Psychology). The project is designed around the user interface which has been designed to be simple to use. Think SPSS, but better!
-
25
This project develops a simple, fast and easy to use Python graph library using NumPy, Scipy and PySparse.