Search Results for "mathematics"
Sort By:
13 projects for "mathematics" with 2 filters applied:
-
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
2
Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and control flow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.
-
3
1. Create an object-oriented python script that can represent mathematical concepts and their properties. 2. Represent all numeric values exactly. 3. Provide a variety of formats to export or embed representations of the mathematical concepts.
-
4
Small and lightweight .NET 2.0 library written in C# for quickly evaluating arithmetical expressions using interpretation or runtime MSIL generation.
-
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.
-
5
-
6
METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.
-
7
{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.
-
8
neuralnetgen is intended to be a universal neural net generator that receives a neural net description (on Neural Net Description Language, also developed on this project) and generates ANSI C code of a library that implements it.
-
9
The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).
-
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.
-
10
kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.
-
11
The OptControlCentre (OCC) is an user-friendly software package for the optimization of dynamic systems in energy and chemical engineering. Optimization methods include SQP methods as well as a stochastic approach using Simulated Annealing.
-
12
The Python Genetic Programming Project implements a Genetic Programming System a la J Koza in Python.
-
13
A completely portable C++ library, to provide a standard set of classes similar to Java Common API. It's highly efficient and it follows the Embedded C++ Standard. It's FREE (LGPL licensed).
- Previous
- You're on page 1
- Next