Showing page 2 of 3.

• 
  Monod

  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.

  1 weekly downloads
• 
  O'Caml Reins

  OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure.

  1 weekly downloads
• 
  OCaml Benchmark

  Moved to https://forge.ocamlcore.org/projects/ocaml-benchmark/ OCaml module to benchmark running times of code. It is inspired by Perl Benchmark.pm.

  1 weekly downloads
• 
  OCaml Global Tags

  An OCaml plugin for GNU Global, using CamlP4 for versions 3.10 of OCaml and above. Provides ocaml_tags, which creates tags for ml and mli files, and an ogtags script that wraps a gtags call with the ocaml_tags plugin.

  1 weekly downloads
• 
  OCaml Rope Library

  This project moved to OCamlForge https://forge.ocamlcore.org/projects/rope/ This library implements ropes for OCaml (it is rich enough to replace strings).

  1 weekly downloads
• 
  OCaml XML-RPC

  An XML-RPC client and server, using an ad-hoc interface definition language and IDL compiler.

  1 weekly downloads
• 
  OX(ML)

  OX is an XML integration into Objective-Caml, providing XML transducers based on pseudo-tree view. This gives a homogeneous view of XML within OCaml code, and lets users to manipulate such terms like any other ones, without constraint.

  1 weekly downloads
• 
  PacLang

  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.

  1 weekly downloads
• 
  ProofOS

  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.

  1 weekly downloads
• 
  Speagram

  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.

  1 weekly downloads
• 
  The Acheron Limbo Compiler

  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

  1 weekly downloads
• 
  TopDeg

  Program for topological degree calculation.

  1 weekly downloads
• 
  coThreads

  coThreads (formerly known as STMlib), is a concurrent programming library for OCaml. It features both high and low level constructors, for both shared-memory and message-passing style concurrency. The library is equipped with a set of source-level and ob

  1 weekly downloads
• 
  felix

  Felix programming language specifications and translator

  1 weekly downloads
• 
  htl2xta

  Htl translator to XTA (Uppaal).

  1 weekly downloads
• 
  newspeak

  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.

  1 weekly downloads
• 
  oCaml Ultimate Lisp

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

  1 weekly downloads
• 
  vlab

  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

  1 weekly downloads
• 
  Absfracked

  A Genetic Programming library that uses System F, a polymorphically typed lambda calculus to represent genotypes. System F is very expressive and allows the native representation of all common programming structures and of recursive structures.

  0 weekly downloads
• 
  AsciiMation Generator

  AsciiMation Generator is an ascii-art animation generator. Asciimation is created from a specific programming language and using specified sprites. AMGenerator is an interpreter written in OCaml.

  0 weekly downloads
• 
  Blast Software Verification Tool

  The Blast Software Verification Tool

  0 weekly downloads
• 
  Caml Community Code

  A set of tools for the Objective Caml language build and maintained by the OCaml community.

  0 weekly downloads
• 
  CodeTime Parallel Software Platform

  The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

  0 weekly downloads
• 
  EXXT

  A small programming language provided with an OCaML compiler.

  0 weekly downloads
• 
  ExtensiveFun

  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.

  0 weekly downloads

• Back
• 1
• 2
• 3
• Next