Search Results for "ocaml" - Page 4
Sort By:
Showing 109 open source projects for "ocaml"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
-
2
Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation
-
3
-
4
VSGE is a platform-independent, "very simple" game engine based on the SDL and OpenGL libraries. Using unorthodox technologies when appropriate, it strives to make developing non-trivial games simple and fun.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
Ex-nunc is a web application framework written in OCaml. Its main purpose is to bring the benefits of statically typed languages to the web application domain.
-
6
A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.
-
7
-
8
Jekyll is a high level programming language that can be translated to and from readable, editable C, thus allowing it to be used in C projects.
-
9
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
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.
-
11
-
12
This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.
-
13
Camelia is an IDE for OCaml designed with students and new users in mind. It sports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more.
-
14
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.
-
15
PacLang is a language for programming Network Processors. It aims to make it easy to write high performance networking applications that are portable across a range of target platforms.
-
16
-
17
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.
-
18
XCode Ocaml Plugin is a plugin for XCode which add OCaml to the development language. So you can develop your OCaml application under XCode.
-
19
An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.
-
20
Objective Caml Ultimate Lisp is a Lisp dialect implemented in OCaml. It performs many features, such as lazy evaluation, and both static and dynamic linkage, partial application of functions, tail-recursivity ...
-
21
Monod is a computational model inspired by the biology of cells and the implementation of a simulation of this model. Thinking of proteins as abstract processing units with a rich context leads to an alternative to the Turing / von Neumann architecture.
-
22
-
23
This project is a lightweight server written in Ocaml for highly interactive webpages or even online browser based games. The server can already be used as a fast frontend to a MySQL database. The software should work on *nix and windows.
-
24
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.
-
25
The MlDoC system is a powerfull but 'simple as needed' documentation tool for OCaML programming projects. It consists currently of a frontend module and various backend modules for HTML, ASCII-Text and LaTeX output.
