Open Source Standard ML Software - Page 4
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.
-
Agentic AI SRE built for Engineering and DevOps teams.NeuBird AI's agentic AI SRE delivers autonomous incident resolution, helping team cut MTTR up to 90% and reclaim engineering hours lost to troubleshooting.
-
Simplify Purchasing For Your BusinessSimplify every aspect of buying for your business in Order.co. From sourcing products to scaling purchasing across locations to automating your AP and approvals workstreams, Order.co is the platform of choice for growing businesses.
-
1
The Pi Markup Language (PiML) aims at providing an XML based representation format for the description of models encoded in the Pi Calculus. The XML representation of such Pi Calculus models should support model storage, exchange, and coupling.
-
2
Podium is a set of PHP scripts and files for managing and displaying Web-based slide presentations. Inspired by, and partly based on, the 'pres' system used internally by the PHP group. Podium takes care of presentation so you can worry about content.
-
3
Model-based AI planner using binary decision diagrams. PropPlan parses PDDL descriptions of the domain and the problem, and outputs a plan.
-
4
Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.
-
AestheticsPro Medical Spa SoftwareAestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
-
5
PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.
-
6
RE is a fast regular expression library for OCaml. It accepts several syntax (and semantics) for regular expressions: Perl-style, Emacs-style and Posix extended regular expressions.
-
7
-
8
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.
-
9
Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.
-
Failed Payment Recovery for Subscription BusinessesFlexPay’s innovative platform uses multiple technologies to achieve the highest number of retained customers, resulting in reduced involuntary churn, longer life span after recovery, and higher revenue. Leading brands like LegalZoom, Hooked on Phonics, and ClinicSense trust FlexPay to recover failed payments, reduce churn, and increase customer lifetime value.
-
10
A collection of modeling tools for system comprehension. Includes 1) DEMOS2K - a semantically justified version of DEMOS 2) SAVANT - a tool for evaluating system availability 3) GOLDSTAR - an arbitrary reward calculation system.
-
11
shadowk kernel aim to be a clean portable object micro-kernel. Clean and extensible would be most too important directions for this development.
-
12
Slashthemes is a skin and themes repository for the phpslash project. Yet another stuff themes.org doesn't do...
-
13
-
14
-
15
The Standard ML project supports coordination between different implementations of the Standard ML (SML) programming language by maintaining common tools and resources such as standard test suites.
-
16
Project moved to separate repositories at github: http://github.com/melsman/draw2d http://github.com/melsman/sml-llvm
-
17
-
18
BattleProject - Server. It is written in C++ with pthreads/Berksock libs and maybe later with a GC The client is on the way but the artists wait to register the client under any license. A game of civilisations managing. http://thebattleproject.free.
-
19
C-Prime, or C' in abbreviation, is simply an attempt to add some fun and modern features to C without sacrificing speed or power. We intend to make "down and dirty programming" a "more enjoyable" experience.
-
20
A wiki-like system where users maintain a relational database with arbitrary tables instead of a flat set of pages
-
21
TinySemantics is a theme/skin for TinyMCE. Its emphasis is on generating valid XHTML using the WYSIWYG TinyMCE editor. This theme is Text Only and is suitable for use with CMS where presentation has been separated from content.
-
22
Lots of small projects: games, VST plugins, experimental IRC server, ROM hacking tools, net tools, font tools, html tools, etc. Browse CVS!
-
23
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.
-
24
The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.
-
25
XMLbase is a new specification/engine for writing databases in pure XML. It is currently incomplete, and is in need of developers. Its key advantage is that you could share database files between applications, and even distribute them over the internet.
