Ocaml Mathematical Framework download

OMF provides an open source OCAML library which unites formal and numerical computations in a single tool. This library provides a common data representation of expressions that lets the user switch painlessly from one world to the other.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Ocaml Mathematical Framework

Ocaml Mathematical Framework Web Site

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Ocaml Mathematical Framework!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Science/Research

User Interface

Console/Terminal

Programming Language

OCaml (Objective Caml)

Related Categories

OCaml (Objective Caml) Mathematics Software

Registered

2007-09-28

Similar Business Software

ActCAD Software

ActCAD is a native dwg/dxf cad software suitable for professional 2D drafting and 3D modeling projects. ActCAD is trusted by over 30000 users in over 103 countries for more than 10 years. The interface, commands, icons, dialogs, shortcuts etc. are very much similar to other popular cad software...

See Software
Archezy

Archezy is a secured web based integrated portal which serves the purpose of architecture Industry by giving in depth solutions for an OTSD Management (office, task, software and data management.) on one single platform. There is micro management of specific project which provides handy...

See Software
Cufflinks

Cufflinks assemble transcripts, estimate their abundances and test for differential expression and regulation in RNA-Seq samples. It accepts aligned RNA-Seq reads and assembles the alignments into a parsimonious set of transcripts. Cufflinks then estimates the relative abundances of these...

See Software
Whitebox

Whitebox Geospatial Inc. offers innovative geospatial software built on open-source platforms, providing a suite of tools for advanced geospatial data analysis. Their flagship product, WhiteboxTools Open Core (WbT), contains over 475 tools for processing various types of geospatial data,...

See Software
QGIS

Create, edit, visualize, analyze and publish geospatial information on Windows, Mac, Linux, BSD and mobile devices. For your desktop, server, in your web browser and as developer libraries. QGIS is a user-friendly open-source Geographic Information System (GIS) licensed under the GNU General...

See Software
Robot Operating System (ROS)

The Robot Operating System (ROS) is an open source set of software libraries and tools designed to aid in building robot applications. It provides services expected from an operating system, including hardware abstraction, low-level device control, implementation of commonly-used functionality,...

See Software