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

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free

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

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