ManTa Files

Status: Beta

Brought to you by: felipetrujillo, g-leyva, vtamara

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
manta	2001-07-03		0
Totals: 1 Item			0

Other Useful Business Software

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Recommended Projects

Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
Lean 4
Lean 4 programming language and theorem prover
Ocaml Curl Library
The Ocaml Curl Library (Ocurl) is an interface library for the programming language Ocaml to the networking library libcurl. Currently Ocurl requires libcurl 7.9.8 or newer (using older versions may yield compilation errors).
OCaml
The core OCaml system: compilers, runtime system, base libraries
BLAS and LAPACK for OCaml
This library provides OCaml-interfaces to the BLAS- and LAPACK libraries.