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 >

Categories

Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow Ocaml Mathematical Framework

Ocaml Mathematical Framework Web Site

Other Useful Business Software
Convert CentOS to Red Hat Enterprise Linux on Azure Icon
Convert CentOS to Red Hat Enterprise Linux on Azure

Go beyond legacy Linux and streamline your CentOS migration journey by moving mission-critical workloads to Red Hat Enterprise Linux on Azure.

CentOS Linux is experiencing End of Life on June 30th, leading to potential gaps in security. With Red Hat Enterprise Linux on Azure, IT Teams can seamlessly migrate mission-critical CentOS Linux workloads knowing they don’t have to compromise on security, scalability, reliability, and simplifying cloud management. Securely accelerate innovation and unlock a competitive edge with enterprise-grade modern cloud infrastructure.
Get Started
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Linux, BSD

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
Report inappropriate content