Search Results for "console"

x
Sort By:

Showing 8 open source projects for "console"

View related business solutions
Software Development OCaml (Objective Caml) Clear Filters & Widen Search
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 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
  • 1
    ocaml - windows
    This should be the fastest way to use OCAML / OPAM on windows. It's a cygwin environment with already installed ocaml, opam, dune (opam), etc. Just unpack and execute "start.exe"
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    This project contains a library for writing compilers/type systems and toy compilers for small games.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    The cartesian programming language

    A functional programming language

    Cartesian is a pure functional programming language, wrapped in an imperative and object oriented layer. The main goal is to separate both worlds and to have some very clean and well defined interfaces. This project is the reference implementation of the language, as an interpreter. The interpreter's goal is not performance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    STP

    MOVED TO GITHUB. Code here is STALE.

    THE STP CODE HAS MOVED TO GITHUB. THE CODE HERE IS STALE. PLEASE CHECKOUT THE FOLLOWING WEBSITE: http://stp.github.io/
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 5
    Htl translator to XTA (Uppaal).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    McCarthy is an interpreter for a simple, first-order functional programming language which is Turing-complete and can be used as a model of computation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Data Structure Tester is an OCaml application for multiple testing of various data structures (also written in other lanages, like C or C++).It proviedes many examples to test, easily configurable tester and signatures for all data structers to be tested.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB