Showing 57 open source projects for "open source rmm"

View related business solutions
  • Our Free Plans just got better! | Auth0 by Okta Icon
    Our Free Plans just got better! | Auth0 by Okta

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • Bright Data - All in One Platform for Proxies and Web Scraping Icon
    Bright Data - All in One Platform for Proxies and Web Scraping

    Say goodbye to blocks, restrictions, and CAPTCHAs

    Bright 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.
    Get Started
  • 1
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    MLton

    MLton

    A whole-program optimizing compiler for Standard ML

    ...), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.
    Leader badge
    Downloads: 177 This Week
    Last Update:
    See Project
  • 3
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    MLKit

    MLKit

    Full-blown Standard ML Compiler

    The MLKit is a full-blown compiler for the programming language Standard ML. The MLKit implements most of the Basis Library and has support for ML Basis Files. The compiler runs on the Linux platform and targets the x86 architecture.
    Downloads: 3 This Week
    Last Update:
    See Project
  • Create state-of-the-art conversational agents with Google AI Icon
    Create state-of-the-art conversational agents with Google AI

    Using Dialogflow, you can provide new and engaging ways for users to interact with your product.

    Dialogflow can analyze multiple types of input from your customers, including text or audio inputs (like from a phone or voice recording). It can also respond to your customers in a couple of ways, either through text or with synthetic speech. Dialogflow CX and ES provide virtual agent services for chatbots and contact centers. If you have a contact center that employs human agents, you can use Agent Assist to help your human agents. Agent Assist provides real-time suggestions for human agents while they are in conversations with end-user customers.
    Try it free
  • 5
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    OCaml Interface for the libplot plotting library from the GNU plotutils package.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Project moved to separate repositories at github: http://github.com/melsman/draw2d http://github.com/melsman/sml-llvm
    Downloads: 0 This Week
    Last Update:
    See Project
  • Multi-Site Network and Cloud Connectivity for Businesses Icon
    Multi-Site Network and Cloud Connectivity for Businesses

    Internet connectivity without complexity

    As your users rely more and more on Cloud and Internet-based technologies, reliable internet connectivity becomes more and more important to your business. With Bigleaf’s proven SD-WAN architecture, groundbreaking AI, and DDoS attack mitigation, you can finally deliver the reliable internet connectivity your business needs without the limitations of traditional networking platforms. Bigleaf’s Cloud Access Network and plug-and-play router allow for limitless control to and from anywhere your traffic needs to go. Bigleaf’s self-driving AI automatically identifies and adapts to any changing circuit conditions and traffic needs—addressing issues before they impact your users. Bigleaf puts you in the driver’s seat of every complaint and support call with full-path traffic and network performance data, delivered as actionable insights, reports, and alerts.
    Learn More
  • 10
    The Ocaml Curl Library (Ocurl) is an interface library for the programming language Ocaml to the networking library libcurl. Currently Ocurl requires libcurl 7.9.8 or newer (using older versions may yield compilation errors).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    The DUML project is 3 sub-projects: 1) Document Update Markup Language (DUML) which allows for updates of the DOM via server markup 2) Interpreted Application Markup Language (IAML) which provides markup based widgets. 3) A set of common libraries (JAS).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    GMetaDOM is a collection of librares, each library providing a DOM implementation. Each DOM implementation is generated automatically by means of XSLT stylesheets.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 15
    A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    OCaml Input/Output interface and the reference implementation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    The Ivory Programming Language: A modern language for systems programming
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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/
    Leader badge
    Downloads: 16 This Week
    Last Update:
    See Project
  • 22
    XSF (XmlSourceFile)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next