Open Source OCaml (Objective Caml) Software Development Software - Page 3

A collection of modules for the Objective Caml language which focus on application-level Internet protocols and conventions

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.

This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

Built from the ground up to support gradual typing and deliver responsive incremental checks. Performant on large codebases with millions of lines of Python. Designed to help improve code quality and development speed by flagging type errors interactively in your terminal or live in your favorite editor. Follows the typing standards introduced in PEPs 484, 526, 612, and is being actively developed and constantly improved. Pyre ships with Pysa, a security focused static analysis tool we've built to reason about data flows in Python applications at scale. Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally, providing instantaneous feedback to developers as they write code. Pyre ships with Pysa, a security focused static analysis tool we've built on top of Pyre that reasons about data flows in Python applications. Please refer to our documentation to get started with our security analysis.

THE STP CODE HAS MOVED TO GITHUB. THE CODE HERE IS STALE. PLEASE CHECKOUT THE FOLLOWING WEBSITE: http://stp.github.io/

Screen (or SCalable REndering ENgine) is a rendering engine based on both 3D rendering and highlty parallel algorithms. It provides powerful scripting interfaces and integrated development environment for 3D games and scientific simulations.

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.

This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compiler. The port is intended to make the virtual machine and runtime environment more general and easily ex

*** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!

PCL-Compiler is a compiler for PCL: a simple Pascal-derived programming language, used for teaching compiler technology in the National Technical University of Athens.

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.

This project contains a library for writing compilers/type systems and toy compilers for small games.

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.

banshee-- A toolkit for building constraint-based program analyses

DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.

Felix programming language specifications and translator

Htl translator to XTA (Uppaal).

loon is a GLR parser generator that takes EBNF grammars as specifications. Tokens are specified in the grammar file, and it generates a parse tree instead of executing actions. A single grammar can output a parser in any supported language.

MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.

Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

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 ...

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"

SFMLML is an Objective Caml binding to the SFML library (http://sfml-dev.org). The SFML (simple and fast multimedia library) is a multimedia library. This binding allow you to use it in OCaml. This binding is now stable and complete.

The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu