Open Source Standard ML Software - Page 2
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.
-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
-
2
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
-
3
Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media
-
4
DRINKS Toolkit
DRINKS is a set of smart web-based widgets.
DRINKS Toolkit is a collection of web-based widget, focused in the first release, to realize an online strumentation. It provides a practical and immediate interface to represent your data in the best possible way. Every widget is drawed using HTML5 Canvas API in a Javascript based environment. Drinks was born to allow users to easily realize custom dashboards without any programming knowledge, infact, you can use your instrument on a webpage simply using HTML tags, or using BarMan IDE to create your applications in a click. DRINKS Toolkit (hardware and software) are released as Open Source project. -
Intelligent network automation for businesses and organizationsBackBox seamlessly integrates with network monitoring and NetOps platforms and automates configuration backups, restores, and change detection. BackBox also provides before and after config diffs for change management, and automated remediation of discovered network security issues.
-
5
This is the project site for "De Vrije CD". A Dutch localisation and spin-off project of "The Open CD". Dit is de project-site voor "De Vrije CD". Een vertaalproject van "The Open CD".
-
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
Disposable Phone Numbers creates virtual telephone numbers that can be activated and deactivated to guard privacy. Callers must enter a valid extension number to be connected. The system can collect caller statistics and support blacklists.
-
8
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
-
9
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
-
Cybersecurity Management Software for MSPsDefine and Deliver Comprehensive Cybersecurity Services. Security threats continue to grow, and your clients are most likely at risk. Small- to medium-sized businesses (SMBs) are targeted by 64% of all cyberattacks, and 62% of them admit lacking in-house expertise to deal with security issues. Now technology solution providers (TSPs) are a prime target. Enter ConnectWise Cybersecurity Management (formerly ConnectWise Fortify) — the advanced cybersecurity solution you need to deliver the managed detection and response protection your clients require. Whether you’re talking to prospects or clients, we provide you with the right insights and data to support your cybersecurity conversation. From client-facing reports to technical guidance, we reduce the noise by guiding you through what’s really needed to demonstrate the value of enhanced strategy.
-
10
This project provides a compiler that compiles ML into code suitable for execution on small targets, including embedded ones. The compiler generates both C and Forth.
-
11
An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.
-
12
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
-
13
FORT (Framework for Ocaml Regression Testing) provides an environment for testing programs and Objective Caml modules.
-
14
Fifth is a exciting project to develop a new programming language that has all the capabilityits of C to develop low-level drivers, but uses a postfix syntax and has many high-level features from LISP and ML.
-
15
Liberator is the unix guru's cli to the Freenet network, inserting and requesting easily and efficiently.
-
16
Frobots is a programmer's robot game. Bots run user-supplied code and fight each other in a two-dimensional arena. Frobots is developed in OCaml and distributed under the GNU General Public License.
-
17
GD4O is an OCaml interface to the GD graphics library. It provides OCaml developers a means to generate and manipulate bitmap images. TrueType fonts and antialiased drawing are supported. GD4O is based on OCamlGD 0.7, developed by Shawn Wagner.
-
18
java telephony API, Dialogic's hardware support, telephony application IDE, mutlichannel telephony applications Server
-
19
This project is focused on development of computational tools for the unfolding and visualization of medial temporal lobe structures based on high-resolution magnetic resonance imaging (MRI) images. Click on the Home Page link above for more information
-
20
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);
-
21
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
-
22
-
23
The Java Integrated Build Environment is a build environment that combines XP concepts like Continuous Integration with existing tools like Ant, JUnit, CruiseControl, CVS and Tomcat, to provide the community with a tool to build, test and release software
-
24
JimboVector 3D is a suite of applications and source code which allow 3D application developers to easily implement complex 3D items into their projects. Such items would include character animations and physics, 3D maps, realtime 3D animated cutscenes,
-
25
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.