Package: ocaml Version: 3.08.3-7 Section: devel Priority: optional Architecture: i386 Depends: ocaml-base (= 3.08.3-7), ocaml-base-3.08.3, ocaml-nox-3.08.3, ocaml-base-nox (>= 3.08.3-6) Suggests: xlibs-dev, tcl8.4-dev, tk8.4-dev Provides… The installation was performed on Ubuntu and successfully tried with many versions of Ubuntu or KUbuntu, in particular the latest LTS (long-time support) version of Ubuntu, i.e., Ubuntu 14.04. The homepage of opam, a package manager for OCaml The homepage of opam, a package manager for OCaml
OCaml code generator plugin for the Cap'n Proto serialization framework - capnproto/capnp-ocaml
The standard library is now packed into a module called Stdlib, which is open by default. This makes it easier to add new modules to the standard library without clashing with user-defined modules. The homepage of opam, a package manager for OCaml The homepage of opam, a package manager for OCaml A PDF version of this document is also available. 2 Download and Installation Blast can be downloaded from Blast’s download web page. 2.1 Downloading Binaries You can download executable versions of Blast for Linux and Windows with Cygwin. Constructor of Date objects: jsnew date_fromTimeValue (y, m, d, h, m') returns a Date object corresponding to year y to minute m'. OCamlXSim is a version of OCaml that compiles apps for the iOS Simulator, an iPhone and iPad simulator available from Apple as part of Xcode.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems - facebook/reason
The GeShi Filter module provides a filter for source code syntax highlighting for a wide range of languages. Source code can be entered with for example or Starting from version 5.x-2.0 it is also possible to define your own generic… As a matter of fact, he helped a great deal package and release this version of ATS. Applause :) ### --- ATS2-0.3.10.tgz: MD5: acb98ee91780cdde39c872203954d3b5 SHA1: 6a83800770cc50a7722c07e8c11122a901524ef8 --- This is the 47th release of… Even though the unstable suite of the Debian system looks very stable for most of the times, there have been some package problems on the testing and unstable suite of the Debian system and a few of them were not so trivial to resolve. This is a mirror of the sks-keyserver located at https://bitbucket.org/skskeyserver/sks-keyserver/, and converted to git - pgpkeys/sks-keyserver Benchmarking suite for testing the performance of Scilla against EVM - ilyasergey/scilla-benchmarks GenProg code, faithfully transferred from svn repository. - squaresLab/genprog-code
The installation was performed on Ubuntu and successfully tried with many versions of Ubuntu or KUbuntu, in particular the latest LTS (long-time support) version of Ubuntu, i.e., Ubuntu 14.04.
The homepage of opam, a package manager for OCaml
A tactic script in the form of interpreted OCaml source code. Mark a package with this tag to signal the vocabulary maintainers of cases where the current tag set is lacking. texvc is one of many external programs that are necessary for the typing of formulas in MediaWiki. This program is mentioned in the manual of the installation of MediaWiki, see Math.
The homepage of opam, a package manager for OCaml
There are a wide variety of DSLs, ranging from widely used languages for common domains, such as HTML for web pages, down to languages used by only one or a few pieces of software, such as MUSH soft code.