Search Results for "stm-4"
Sort By:
Showing 22 open source projects for "stm-4"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
Activate Self-Service Analytics from Your Data Warehouse | KubitKubit delivers enterprise-grade customer journey analytics—directly from your existing data warehouse. Enable every team with self-service insights, driving faster, data-driven decisions with minimal engineering overhead or data movement.
-
1
Lots of small projects: games, VST plugins, experimental IRC server, ROM hacking tools, net tools, font tools, html tools, etc. Browse CVS!
-
2
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.
-
3
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
-
4
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);
-
ThreatLocker Cybersecurity SoftwareThe Zero Trust security solution that offers a unified approach to protecting users, devices, and networks against the exploitation of zero day vulnerabilities.
-
5
Project moved to separate repositories at github: http://github.com/melsman/draw2d http://github.com/melsman/sml-llvm
-
6
-
7
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.
-
8
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.
-
9
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/
-
The All-In-One Google Workspace Management Tool for IT AdminsgPanel by Promevo streamlines administration, security, and user management, giving organizations full control over their Google Workspace.
-
10
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.
-
11
-
12
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.
-
13
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.
-
14
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
-
15
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
-
16
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.
-
17
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
-
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
java telephony API, Dialogic's hardware support, telephony application IDE, mutlichannel telephony applications Server
-
20
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.
-
21
-
22
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.
- Previous
- You're on page 1
- Next