ocamlcore.org
philosophy
http://www.ocamlcore.org/philosophy
1 ocamlcore.org only provides service for OCaml community. The aim of ocamlcore.org is to help the community of the OCaml programming language to make the language widespread. Resources of ocamlcore.org is dedicated to this community only. Everything hosted by ocamlcore.org must be related with the OCaml programming language. 2 ocamlcore.org will remain free. Project and contents hosted by ocamlcore.org and all its services must have license be DFSG-approved. See Debian Free Software Guidelines. Even if ...
forge.ocamlcore.org
OCaml Forge: ocamlmod: Project Home
https://forge.ocamlcore.org/projects/ocamlmod
Search the entire project. Generate OCaml modules from source files. SCM https:/ github.com/gildor478/ocamlmod. No tag defined for this project. This project has not yet categorized itself in the Trove Software Map. View list of RSS feeds. Available for this project. September 2, 2015. View All Project Files. View the 1 Member(s). No News Items Found.
forge.ocamlcore.org
OCaml Forge: smf: Project Home
https://forge.ocamlcore.org/projects/smf
Search the entire project. OCaml bindings to libsmf - a library for reading and writing Standard MIDI Files. This project has not yet categorized itself in the Trove Software Map. View list of RSS feeds. Available for this project. This Project Has Not Released Any Files. View All Project Files. View the 1 Member(s). No News Items Found.
forge.ocamlcore.org
OCaml Forge: Emacs OCaml Tuareg mode → Github: Project Home
https://forge.ocamlcore.org/projects/tuareg
Search the entire project. Emacs OCaml Tuareg mode Github. Tuareg is a Caml mode for GNU Emacs and XEmacs. It handles automatic indentation of Objective Caml and Camllight codes. Key parts of the code are hilighted using Font-Lock. MOVED https:/ github.com/ocaml/tuareg. GNU General Public License (GPL). View the 7 Member(s).
oasis.forge.ocamlcore.org
OASIS-DB sub-project
http://oasis.forge.ocamlcore.org/oasis-db.html
Architecture for building OCaml libraries and applications. Author Sylvain Le Gall. This sub-project aims to create a CPAN. For OCaml in OCaml. It relies on the metadata contained in the. Files that must be contained in the tarball of a project. The project manages packages, which are sets of versioned tarballs of the same project. For example, the package. Is the set of tarballs. Ounit-1.0.1.tar.gz. Ounit-1.0.2.tar.gz. Ounit-1.0.3.tar.gz. Each tarball must contain a. File which describes its content.
forge.ocamlcore.org
OCaml Forge: CamlBZ2: Project Home
http://forge.ocamlcore.org/projects/camlbz2
Search the entire project. OCamlBZ2 - OCaml bindings for libbz (AKA, bzip2). No tag defined for this project. This project has not yet categorized itself in the Trove Software Map. November 8, 2008. View All Project Files. View the 3 Member(s). CamlBZ2 API reference available on the web. 0 Comment Read More/Comment. Release of CamlBZ2 0.6.0. 0 Comment Read More/Comment. Preview release of CamlBZ2 0.6.0 - testing sought. 0 Comment Read More/Comment.
forge.ocamlcore.org
OCaml Forge: CamlZIP: handling zip and gzip files: Project Home
https://forge.ocamlcore.org/projects/camlzip
Search the entire project. CamlZIP: handling zip and gzip files. This OCaml library provides easy access to compressed files in ZIP. And GZIP format, as well as to Java JAR files. It provides functions. For reading from and writing to compressed files in these formats. No tag defined for this project. GNU Lesser General Public License (LGPL ). GNU Lesser General Public with static compilation exception. View list of RSS feeds. Available for this project. June 22, 2016. View All Project Files.
forge.ocamlcore.org
OCaml Forge: Login
https://forge.ocamlcore.org/docman/view.php/83/92/LICENSE
You've been redirected to this login page because you have tried accessing a page that was not available to you as an anonymous user. Cookies must be enabled past this point. Resend confirmation email to a pending account].
syntaxexclamation.wordpress.com
Quick, dirty and shallow definitions | Syntax!
https://syntaxexclamation.wordpress.com/2013/11/21/quick-dirty-and-shallow-definitions
A research blog about programming languages, formal logics, software development and their interactions, by Matthias Puech. Quick, dirty and shallow definitions. Here is a quick hack. A few months ago. Have you ever implemented an quick prototype for a language, and be annoyed by the lack of definition mechanism? For instance, you define a small calculus and encode a few constructs to test it, but end up with outputs like:. When you only wanted the system to print:. Some would call this a deep encoding.
syntaxexclamation.wordpress.com
Reverse natural deduction and get sequent calculus | Syntax!
https://syntaxexclamation.wordpress.com/2011/09/01/reverse-natural-deduction-and-get-sequent-calculus
A research blog about programming languages, formal logics, software development and their interactions, by Matthias Puech. Reverse natural deduction and get sequent calculus. This is a follow-up on my previous post. It should be readable by itself if you just take a quick peek at. We shall here start by writing a type-checker for the usual simply typed lambda-calculus, natural deduction-style. Types are:. Type tp = Nat Arr of tp * tp. Let us make a. Process. Having redexes in the syntax and eliminat...