• Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    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 security. Auth0 now, thank yourself later.
    Try free now
  • 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
    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: 0 This Week
    Last Update:
    See Project
  • 3
    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
  • 4
    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
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 5
    OCaml Input/Output interface and the reference implementation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The Ivory Programming Language: A modern language for systems programming
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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
  • 8
    A typed XML processing language that integrates XML schema languages into the type system of the programming language. (XDuce is pronounced "transduce".)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    mGTK is glue code to make GTK+ accessible from Standard ML. This provides a convenient way for SML programmers to add GUI features to applications. mGTK should work on all platforms where both Moscow ML and GTK+ are supported.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 10
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    The Application System Xcaml (AS/Xcaml) is a full-featured web-application architecture based on Xcaml, a web-oriented syntax extension of the Objective Caml language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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,
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Starlang is a simple byte-compiled imperative programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A tool to generate interfaces to C functions and datatypes. Includes a complete interface to the standard C Xlib. This project has significant overlap with some of <A HREF="http://caml.inria.fr/hump.html#ffi">these</A>, and one or two others as well.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    OSML is an XML Schema for building web content. Built as an event handler, OSML gives the ability to create and manage elements interactively. OSML is compatible with JAVA / XML technology and has been extremely tested with Cocoon 2 Framework.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    ruby's expressivity together with static typing
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Exquisite is a survey generator that uses a simple domain-specific language for specifying a survey. The generator creates a specialised perl script for your survey. It allows you to use perl code for specifying validators and error handling etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    FORT (Framework for Ocaml Regression Testing) provides an environment for testing programs and Objective Caml modules.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    C2caml is a tool for automatic generation of ocaml bindings fro a library from it's C header interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Model-based AI planner using binary decision diagrams. PropPlan parses PDDL descriptions of the domain and the problem, and outputs a plan.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB