Search Results for "system"
Sort By:
Showing 57 open source projects for "system"
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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
SymPy
A computer algebra system written in pure Python
SymPy is an open source Python library for symbolic mathematics. Its goal is to become a full-featured computer algebra system (CAS) while maintaining the simplicity of its code. Written entirely in Python, SymPy is easy to use, comprehensible and easily extensible. It’s also very lightweight as it solely depends on mpmath, a pure Python library for arbitrary floating point arithmetic. SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously improved. ... -
2
JAX
Composable transformations of Python+NumPy programs
With its updated version of Autograd, JAX can automatically differentiate native Python and NumPy functions. It can differentiate through loops, branches, recursion, and closures, and it can take derivatives of derivatives of derivatives. It supports reverse-mode differentiation (a.k.a. backpropagation) via grad as well as forward-mode differentiation, and the two can be composed arbitrarily to any order. What’s new is that JAX uses XLA to compile and run your NumPy programs on GPUs and... -
3
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” -
4
PyTorch Geometric
Geometric deep learning extension library for PyTorch
...We have outsourced a lot of functionality of PyTorch Geometric to other packages, which needs to be additionally installed. These packages come with their own CPU and GPU kernel implementations based on C++/CUDA extensions. We do not recommend installation as root user on your system python. Please setup an Anaconda/Miniconda environment or create a Docker image. We provide pip wheels for all major OS/PyTorch/CUDA combinations. -
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
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. -
6
Asymptote
2D & 3D TeX-Aware Vector Graphics Language
Asymptote is a powerful descriptive vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. Asymptote provides for figures the same high-quality typesetting that LaTeX does for scientific text. -
7
Minsky
System dynamics program with additional features for economics
Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). 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. -
8
Advanced Trigonometry Calculator
Open-source C/C++ math engine for advanced scientific computing
Advanced Trigonometry Calculator (ATC) is an open-source mathematical computing engine written mainly in C/C++. Created in 2011 and maintained by Renato Alexandre dos Santos Freitas, ATC is designed as a practical Windows desktop application for advanced calculations, automation, and technical problem solving. ATC supports equation solving, polynomial tools, complex numbers, matrix calculations, statistics, physics, geometry, unit conversions, DSP/FFT operations, and scripting. It can... -
9
TAVIA
Open statistics and scientific graphing
TAVIA is a desktop application for structured data analysis, visualization, reporting, and reproducible research workflows. It combines spreadsheet-style data handling with statistical tools, publication-ready graphs, confidence intervals, project files, encrypted storage, audit trails, workflow automation, and extensible plugins. The application includes CSV, TSV, XLSX, and SQLite import and export, customizable chart styles, confidence bands, error bars, report generation, generated... -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
10
A library of tools for doing computation in game theory.
-
11
SUM Calculator
Portable bundle for Windows
...(Uncompressed size is about 60Mb because of required libraries for all Windows versions from XP to 10. The application is incomparably small.) Unzip, run sumcalc.exe. That's it! You can put the folder wherever you want, except system folders with permissions (e.g. Program Files), and create a shortcut if needed. Cross-platform source and info: https://github.com/qandak/sumcalc Changelog: https://github.com/qandak/sumcalc/blob/master/CHANGELOG.md -
12
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... -
13
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. In particular the Boost (C++ Standard Extensions: http://www.boost.org) library is used. ... -
14
PhaseSpace
Analyse dynamical systems, plot its phase space and critical points.
Phase Space is born out of the need of a simple yet powerful open source tool to study dynamical systems. PhaseSpace allows you to plot the phase space of the dynamical system you are studying, its critical points and the curves of slope zero and infinite.It can also plot the solutions of the system and it's vector field. To use PhaseSpace you'll need to have Python installed along with Matplotlib and Numpy. -
15
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).
-
16
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.
-
17
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).
-
18
AUTO is a publicly available software for continuation and bifurcation problems in ordinary differential equations originally written in 1980 and widely used in the dynamical systems community.
-
19
MRA
A general recommender system with basic models and MRA
Multi-categorization Recommendation Adjusting (MRA) is to optimize the results of recommendation based on traditional(basic) recommendation models, through introducing objective category information and taking use of the feature that users always get the habits of preferring certain categories. Besides this, there are two advantages of this improved model: 1) it can be easily applied to any kind of existing recommendation models. And 2) a controller is set in this improved model to provide... -
20
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!
-
21
The Generic Graphics Toolkit is a library of generic programming primitives that allow applications to be written that adapt to whatever underlying graphics system the developer is using.
-
22
math toolkit
A C++ and Python library for finance, statistics and linear algebra.
...Statistics features include mean, median, variance, standard deviation, covariance, correlation, linear regression, probabilities and random variates of various distributions ... Linear algebra features include matrix arithmetic, inverse, determinant, rank, linear system solution, lu/qr decomposition, svd, eigen values/vectors ... And some auxiliary features like random number generators, equation solution, numerical integration, permutation/combination and gcd/lcm etc. It is aimed to be a convenient and handy toolkit to check out your ideas. -
23
android-python2.7.3
Python2.7.3 for android
This is python2.7.3 which can be compiled using android-ndk By using python ,Its is possible to run lot of great application in android phone. At the time of writing I could run IPython, Isympy, Django etc on my android phone. This project only considering command-line binary builds. Not any GUI apps. -
24
This App solves a system of simultaneous equations (liner or nonlinear) by using a matrix root solver. Iterations and solutions are provided by GSL (GNU science library).
-
25
Arabeyes
A project to increase free Arabic fonts on Unix/Linux
Arabeyes is a Meta project that is aimed at fully supporting the Arabic language in the Unix/Linux environment. It is designed to be a central location to standardize the Arabization process. Arabeyes relies on voluntary contributions.