Search Results for "python language"
Sort By:
Showing 22 open source projects for "python language"
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.
-
$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.
-
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... -
2
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.” AlphaGeometry integrates a symbolic... -
3
Swift Numerics
Advanced mathematical types and functions for Swift
Swift Numerics is a foundational library that extends the Swift standard library with essential numerical protocols, types, and functions needed for scientific and systems programming. It defines generic abstractions over real and complex numbers so algorithms can be written once and work across concrete floating-point types. The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics... -
4
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. -
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.
-
5
FractalRenderingApp
Lightweight app for visualization of Mandelbrot and Julia set
Source code is available on https://github.com/MarkoLeskovar/FractalRenderingApp -
6
NZMATH
Python Calculator on Number Theory, three-birds-one learning material
NZMATH is a Python calculator on number theory. It is freely available and distributed under the BSD license. All programs are written only by Python so that you can easily see their algorithmic number theory. You can get NZMATH with a single command: % python -m pip install -U nzmath Here % is the command line prompt of Windows or Unix/macOS. -
7
MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
-
8
CutePy
Lightweight Qt-based Python console with variable explorer and history
CutePy is a lightweight Qt-based Python 3 console with variable explorer, command history, syntax highlighting and customizable startup script. Originally it was developed for simple scientific calculations as a replacement for e.g. Windows calculator or Python IDLE. Therefore its main aim is to start fast and provide more comfortable dealing with variables based on the Python language. -
9
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/
-
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.
-
10
binary Turing Machine
A Turing Machine Simulator
Free binary Turing Machine simulator with a graphical user interface and possibility to save your files. Language : French (no translation available) -
11
Open Bayes is a python free/open library that allows users to easily create a bayesian network and perform inference/learning on it. It is mainly inspired from the Bayes Net Toolbox (BNT) but uses python as a base language. www.openbayes.org
-
12
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. -
13
An experimental language designed to be very simple, but expressive enough to represent mathematical constructions and have strong introspective capabilities.
-
14
A Python package that provides classes and tools for dealing with dimensional quantities. Includes a parser for the quantity language (i.e. calculates "3 meters per second in miles per hour") and a class for constructing matrices containing dimensions.
-
15
-
16
Python extension module based on C-XSC (C++ Language eXtensions for Scientific Computation) and the associated Toolbox. Provides a real and complex interval arithmetic with verified results for numerical applications.
-
17
l3lang is a persistent Python-like language and the l3gui provides a worksheet-like interface where computed values can be examined via simple selection and scripts can be assembled as structures.
-
18
A module for Python which provides interface to the PARI/GP computing library. We propose to write programs for PARI using Python scripting language. Python makes code much more clean, readable and manageable than the old-style PARI scripts.
-
19
APLEpy stands for Algebraic Programming Language Extension for Python. It is an open source alternative to commercial products such as AMPL and GAMS. It offers the same high level of abstraction while keeping the advantages of using Python environment.
-
20
Software to fit whole-sentence language models using the principle of maximum entropy. For developers of speech recognizers, text prediction interfaces, OCR, machine translation software.
-
21
Project to Design and Implement a new programming language. The language is named Hybrid (c), as it's nature. We "build on" existing languages (Python & others), and not start from scratch (as C++ builds on C). see Docs.
-
22
RGnome is a gtk based frontend for GNU R, which is a widely used language for statistical computing. It features a fully working R console and an editor with syntax highlighting.
- Previous
- You're on page 1
- Next
