Search Results for "mathematics"
Sort By:
18 projects for "mathematics" with 2 filters applied:
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
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.
-
1
sleef
Vectorized libm
SLEEF stands for SIMD Library for Evaluating Elementary Functions. SLEEF implements vectorized versions of all C99 math functions, that utilize SIMD instructions of modern processors to make computation more efficient. The library also includes vectorized DFT subroutines. -
2
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
-
3
ANGEL-Automatic differentiation Nested Graph Elimination Library is a template library using the Boost Graph Library and the Standard C++ Library; it provides sparse representations of c-graphs their dual line graphs and vertex, edge and face elimina
-
4
The goal of the Fortran-to-Java project is to provide Java Application Programming Interfaces (APIs) to numerical libraries originally written in Fortran (particularly BLAS and LAPACK). The result of this work, JLAPACK, is distributed here.
-
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.
-
5
Dapar
Parsing for everybody.
Dapar is a universal parsing library written in C. It will interpret any grammar you give it in a BNF-like format, and constructs a matching expression tree for any given input. This makes developing a new parser for any language simple and reliable. Includes an ABNF parser, EBNF parser, XML parser and algebraic math parser. -
6
A strong, yet minimalistic Math-oriented Programming Language (MML) providing an easy-to-use console and a command-line script interpreter, targetted towards fast calculations for extremely big numbers, and bundled with a number of math libraries.
-
7
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
-
8
Small and lightweight .NET 2.0 library written in C# for quickly evaluating arithmetical expressions using interpretation or runtime MSIL generation.
-
9
{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.
-
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
M+ Compiler/Interpreter is a interpreter library written in Java that delivers the possibility to extend any Java application with simple scripts. Besides the usage of native datatypes and operations you can instantiate and call native Java objects.
-
11
Cross-platform C++ library for Reverse Polish Notation calculus. Focuses on providing a reusable set of RPN functionalities such as parsing, variable substitution and computation.
-
12
PHPTuring is a Turing Machine simulator built in Object-Oriented PHP5, using the Test-Driven (TDD) approach.
-
13
A C library, providing comfortable APIs for a wide range of Finite State Abstract Machines (NFA, DFA, FST, Bimachines, etc). Implements most of the classical algorithms in the field.
-
14
PBL (prounounced "pibble") is a general-purpose language targeted to SCADA applications (Systems Control And Data Acquisition).
-
15
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.
-
16
The purpose of this project was to prepare gfortran for integration into gcc. Since this integration was completed in the summer of 2003, this project is now finished. You can find information about gfortran on http://gcc.gnu.org/wiki/GFortran/
-
17
Freude is a new general purpose, very type safe, postfix / concatenative language in the style of \"Manfred von Thun\'s\" Joy. Freude programs are composed of axiomatic mathematical structures and verifiably correct concrete implementations thereof.
-
18
kasm is an assembler for the Saturn microprocessor, used in the HP48/HP49 calculators. It uses MASD syntax, which has only very small incompatibilities with the traditional syntax, supports a few constructs that make the assembly language be closer to a
- Previous
- You're on page 1
- Next