Open Source Standard ML Software
Sort By:
Standard ML Software
Browse free open source Standard ML Software and projects below. Use the toggles on the left to filter open source Standard ML Software by OS, license, language, programming language, and project status.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Yeastar: Business Phone System and Unified CommunicationsUser-friendly, optimized, and scalable, the Yeastar P-Series Phone System redefines business connectivity by bringing together calling, meetings, omnichannel messaging, and integrations in one simple platform—removing the limitations of distance, platforms, and systems.
-
1
The JavaScript Object Notation (JSON) is a simple and lightweight data interchange format. This project provides libraries for manipulating JSON objects for various languages. For more information on JSON, visit http://www.json.org/
-
2
MP4MENU has the goal to make the process of creating Menus - as known on DVDs - following ISO 14496-1 (MPEG-4 Systems Standard) as easy as possible, by providing some sample scripts and documentation
-
3
The Abstract Syntax Description Lanuguage (ASDL) is a language designed to describe the tree-like data structures in compilers. Its main goal is to provide a method for compiler components written in different languages to interoperate.
-
4
It is the ambition of this project to create and support a process for civil society organisations to maintain effective websites that is as simple as possible, but no simpler.
-
IT Asset Management (ITAM) SoftwareDrowning in misplaced IT assets, compliance headaches, and shadow IT? Navigate to clarity with an intuitive IT Asset Management solution. Experience crisp visibility, effortless control, and unshakable security – all while freeing up your budget with optimized software licenses. The best part? It’s easy.
-
5
This project collects tools created by members of the Internet Hosting Cooperative to aid in management of a shared Internet server. Different tools target different audiences, including Internet/UNIX experts and newbies. They should be useful to any g
-
6
From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.
-
7
Tools for developing dynamic web sites using the Standard ML programming language, including all the software you need to create PHP-style web sites with type-safe, statically checked page generation
-
8
java telephony API, Dialogic's hardware support, telephony application IDE, mutlichannel telephony applications Server
-
9
IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);
-
Supercharge Your Manufacturing with Easy MRP and MES SoftwareFlowlens eliminates stock-outs, shortage and overstocks, avoiding costly production delays. Stay in control of inventory levels and keep production running smoothly with real-time visibility and easy-to-use stock management. Import bulk data with ease.
-
10
Kokatrix is a system for building 2D single-player roleplaying games written in Objective Caml. Main features are a graphics engine, a map editor, scripting system and tools for generating large worlds.
-
11
-
12
-
13
An interpreter of lambda calculus. It shows reduction process of lambda terms. Several evaluation strategies are supported. Output format can be selected from LaTex, plain text.
-
14
A library which provides the same functionality as the Python/C API detailed at python.org, thus allowing objective caml programmers to provide python modules as native ocaml code, as well as allowing ocaml code to use python extensions.
-
15
The exception analyzer statically detects may-uncaught exceptions from Standard ML programs. The analyzer is completely embedded in the SML/NJ 110, to be interactively used inside the compiler's print-eval loop and also CM.
-
16
Project moved to separate repositories at github: http://github.com/melsman/draw2d http://github.com/melsman/sml-llvm
-
17
Lots of small projects: games, VST plugins, experimental IRC server, ROM hacking tools, net tools, font tools, html tools, etc. Browse CVS!
-
18
This project is for credit in UIUC's CS327 Software Engineering class. This is a class scheduler written in ocaml and python, using a web interface. The feature list will be decided as the project progresses.
-
19
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
-
20
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
-
21
aphasia is an advanced scripting language for the web. It features a type-safe core, C++ modules with signatures, an optimizing "compiler", higher-order functions, built-in database support, garbage collection, and more.
-
22
- Previous
- You're on page 1
- Next