Poly/ML Files

Brought to you by: dcjm

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
Parent folder
polyml.5.2.1.tar.gz	2008-10-23	4.1 MB	0
Totals: 1 Item		4.1 MB	0

nel_h2

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB 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.

Start Free

Simply solve complex auth. Easy for devs to set up. Easy for non-devs to use.

Transform user access with Frontegg CIAM: login box, SSO, MFA, multi-tenancy, and 99.99% uptime.

Custom auth drains 25% of dev time and risks 62% more breaches, stalling enterprise deals. Frontegg platform delivers a simple login box, seamless authentication (SSO, MFA, passwordless), robust multi-tenancy, and a customizable Admin Portal. Integrate fast with the React SDK, meet compliance needs, and focus on innovation.

Start for Free

Recommended Projects

HOL theorem-proving system
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
MLton
A whole-program optimizing compiler for Standard ML
X-Symbol for WYSIWYG in Emacs
When you edit LaTeX, HTML, BibTeX or TeXinfo sources in Emacs, package X-Symbol uses real characters for tokens like \oplus and provides various input methods for them. Thumbnails for included images and real super-/subscripts and are also supported

Poly/ML Files

Get an email when there's a new version of Poly/ML