From 6c682d6e957568dabe2dd4835ba9540ab0488610 Mon Sep 17 00:00:00 2001 From: Vincent Balat Date: Tue, 11 Jun 2024 14:57:43 +0200 Subject: [PATCH] Deploy --- home/contributing.html | 1 + home/credits.html | 1 + home/install.html | 1 + home/intro.html | 1 + home/occduce.html | 1 + home/papers.html | 1 + home/projects.html | 3 ++- 7 files changed, 8 insertions(+), 1 deletion(-) diff --git a/home/contributing.html b/home/contributing.html index 2a58e76..50a9bc9 100644 --- a/home/contributing.html +++ b/home/contributing.html @@ -32,6 +32,7 @@
  • Tyxml
  • Toolkit
  • Start +
  • Ocsipersist
  • html_of_wiki
  • Ocsimore (deprecated)
  • Other projects diff --git a/home/credits.html b/home/credits.html index ea0d88c..55edba2 100644 --- a/home/credits.html +++ b/home/credits.html @@ -32,6 +32,7 @@
  • Tyxml
  • Toolkit
  • Start +
  • Ocsipersist
  • html_of_wiki
  • Ocsimore (deprecated)
  • Other projects diff --git a/home/install.html b/home/install.html index 8480a0b..9aff9cf 100644 --- a/home/install.html +++ b/home/install.html @@ -32,6 +32,7 @@
  • Tyxml
  • Toolkit
  • Start +
  • Ocsipersist
  • html_of_wiki
  • Ocsimore (deprecated)
  • Other projects diff --git a/home/intro.html b/home/intro.html index 6b80005..6ac8d04 100644 --- a/home/intro.html +++ b/home/intro.html @@ -32,6 +32,7 @@
  • Tyxml
  • Toolkit
  • Start +
  • Ocsipersist
  • html_of_wiki
  • Ocsimore (deprecated)
  • Other projects diff --git a/home/occduce.html b/home/occduce.html index 3efbb44..884c7ab 100644 --- a/home/occduce.html +++ b/home/occduce.html @@ -32,6 +32,7 @@
  • Tyxml
  • Toolkit
  • Start +
  • Ocsipersist
  • html_of_wiki
  • Ocsimore (deprecated)
  • Other projects diff --git a/home/papers.html b/home/papers.html index 6183083..3e92b95 100644 --- a/home/papers.html +++ b/home/papers.html @@ -32,6 +32,7 @@
  • Tyxml
  • Toolkit
  • Start +
  • Ocsipersist
  • html_of_wiki
  • Ocsimore (deprecated)
  • Other projects diff --git a/home/projects.html b/home/projects.html index 70bba7f..c3c7895 100644 --- a/home/projects.html +++ b/home/projects.html @@ -32,6 +32,7 @@
  • Tyxml
  • Toolkit
  • Start +
  • Ocsipersist
  • html_of_wiki
  • Ocsimore (deprecated)
  • Other projects @@ -41,7 +42,7 @@
  • Blog
  • Installation
  • Source code -

    • Main projects

    Js_of_ocaml

    Optimizing compiler from OCaml/Reason to Javascript.

    Eliom

    Multi-tier language and framework for multi-platform apps.

    Server

    Full-featured and extensible Web Server.

    Lwt

    Cooperative threading library.

    Tyxml

    Static type-checking for HTML and SVG.

    Ocsigen Toolkit

    Native OCaml widgets for browsers (client side only or client-server).

    Start

    A full-featured app to use as code example for your own projects.

    Experimental projects

    Macaque

    An experimental language for type-safe database queries.

    Ocsipersist

    Persistent references and key-value stores.

    Ocsimore

    A content management system written with Eliom (wiki, forum). +

    Main projects

    Js_of_ocaml

    Optimizing compiler from OCaml/Reason to Javascript.

    Eliom

    Multi-tier language and framework for multi-platform apps.

    Server

    Full-featured and extensible Web Server.

    Lwt

    Cooperative threading library.

    Tyxml

    Static type-checking for HTML and SVG.

    Ocsigen Toolkit

    Native OCaml widgets for browsers (client side only or client-server).

    Start

    A full-featured app to use as code example for your own projects.

    Ocsipersist

    Persistent references and key-value stores for OCaml programs.

    Experimental projects

    Macaque

    An experimental language for type-safe database queries.

    Ocsimore

    A content management system written with Eliom (wiki, forum). (unmaintained)

    OClosure

    An OCaml binding of the Google Closure widget library. (unmaintained)

    Goji

    OCaml binding generator for Javascript libraries (unmaintained)

    Ojquery

    An OCaml binding for JQuery