1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
#include "head.include"
<title>OCaml - Tools & Libraries</title>
</head>
<body id="Screen">
#include "body.header.include"
#include "body.leftmenu.include"
<h1>News</h1>
<div class="announce">
<div class="announce_title">PROMELA library</div>
<div class="announce_date">Mar 26, 2012</div>
<div class="software">
The PROMELA OCaml library provides types to create, manipulate and to
reason about PROMELA programs. The OCaml data structures can... <a href="https://forge.ocamlcore.org/projects/promela/">Read more</a>
</div>
</div>
<div class="announce">
<div class="announce_title">Zarith 1.1</div>
<div class="announce_date">Mar 24, 2012</div>
<div class="software">
ZArith is a fast, space-efficient, GMP-based library for
arbitrary-precision integer and rational arithmetic...
<a href="https://forge.ocamlcore.org/forum/forum.php?forum_id=829">Read more</a>
</div>
</div>
<div class="announce">
<div class="announce_title">OCamlTopWin: a simple Windows UI</div>
<div class="announce_date">Mar 24, 2012</div>
<div class="software">
A simplistic user interface (essentially, a text window with basic
editing facilities) for the OCaml toplevel under MS Windows...
<a href="https://forge.ocamlcore.org/projects/ocamltopwin/">Read more</a>
</div>
</div>
<div class="announce">
<div class="announce_title">Interval computation library 1.1</div>
<div class="announce_date">Mar 19, 2012</div>
<div class="software">
This is an interval computation library for ocaml...
<a href="http://caml.inria.fr/cgi-bin/hump.cgi?contrib=805">Read more</a>
</div>
</div>
<div class="announce">
<div class="announce_title">OCaml MySQL Protocol 0.4</div>
<div class="announce_date">Mar 19, 2012</div>
<div class="software">
Implementation of MySQL Protocol with the Bitstring library...
<a href="http://caml.inria.fr/cgi-bin/hump.cgi?contrib=804">Read more</a>
</div>
</div>
<div class="announce">
<div class="announce_title">Js_of_ocaml 1.1 released</div>
<div class="announce_date">Mar 15, 2012</div>
<div class="software">
Js_of_ocaml is a compiler of OCaml bytecode to Javascript. It makes
it possible to run OCaml programs in a Web browser...
<a href="http://ocsigen.org/js_of_ocaml/">Read more</a>
</div>
</div>
<div class="announce">
<div class="announce_title">TypeRex 1.0.0</div>
<div class="announce_date">Mar 13, 2012</div>
<div class="software">
TypeRex is a powerful development environment for OCaml. It is
designed to integrate easily in your favorite editor, and to provide...
<a href="http://www.typerex.org/">Read more</a>
</div>
</div>
<div class="announce">
<div class="announce_title">OCaml Users and Developers Workshop</div>
<div class="announce_date">Mar 10, 2012</div>
<div class="software">
The next OCaml Users and Developers (OUD) meeting will be held alongside the ACM/SIGPLAN International Conference in Functional Programming...
<a href="http://oud.ocaml.org/2012/">Read more</a>
</div>
</div>
<div class="announce">
<div class="announce_title">Jingoo v1.0 - an ocaml template engine</div>
<div class="announce_date">Feb 26, 2012</div>
<div class="software">
Jingoo is ocaml template engine almost compatible with jinja2... <a href="https://github.com/tategakibunko/jingoo">Read more</a>
</div>
</div>
<div class="announce">
<div class="announce_title">Whenjobs - another cron replacement</div>
<div class="announce_date">Feb 18, 2012</div>
<div class="software">
Whenjobs is a powerful but simple replacement for cron. It lets you
run jobs periodically like cron...<a
href="http://rwmj.wordpress.com/2012/02/18/a-work-in-progress-whenjobs-another-cron-replacement/">
Read more</a>
</div>
</div>
<div class="announce">
<div class="announce_title">Interval Computation Library</div>
<div class="announce_date">Feb 13, 2012</div>
<div class="software">
A new Interval Computation Library for OCaml, with correct roundings that works only on Intel processors. <a href="http://www.alliot.fr/fbbdet.html.fr">Read more...</a>
</div>
</div>
<div class="announce">
<div class="announce_title">gapi-ocaml v0.1 released</div>
<div class="announce_date">Feb 11, 2012</div>
<div class="software">
gapi-ocaml is a simple, unofficial, OCaml client for Google
Services. The library supports ClientLogin, OAuth 1.0a, and OAuth 2.0
authentication. <a href="https://forge.ocamlcore.org/forum/forum.php?forum_id=823">Read
more...</a>.
</div>
</div>
<div class="announce">
<div class="announce_title">New version v10 of llpp</div>
<div class="announce_date">Feb 9, 2012</div>
<div class="software">
llpp a graphical PDF
viewer which aims to superficially resemble less(1). It is an OCaml
wrapper over MuPDF. <a href="http://repo.or.cz/w/llpp.git">Read
more...</a>.
</div>
</div>
<div class="announce">
<div class="announce_title">VIM plugin improvement</div>
<div class="announce_date">Jan 30, 2012</div>
<div class="software">
A version of the VIM
plugin allowing to use annotations generated by the compiler to
navigate in the code. <a href="http://www.vim.org/scripts/script.php?script_id=3906">Read more...</a>.
</div>
</div>
<div class="announce">
<div class="announce_title">New js_of_ocaml example</div>
<div class="announce_date">Jan 27, 2012</div>
<div class="software">
This example is an Hyperbolic tree viewer, implemented in OCaml, and
running in any browser, thanks to a translation to Javascript by
js_of_ocaml.
<a href="http://ocsigen.org/js_of_ocaml/files/hyperbolic/index.html">Read
more...</a>.
</div>
</div>
<div class="announce">
<div class="announce_title">Zermelo Proof Checker</div>
<div class="announce_date">Jan 26, 2012</div>
<div class="software">
The Zermelo Proof Checker (ZPC) is a lightweight proof assistant based on standard set theory and Hindley-Milner type theory.
<a href="http://zermelo.org/">Read
more...</a>.
</div>
</div>
<div class="announce">
<div class="announce_title">New version 0.6 of Plasma</div>
<div class="announce_date">Jan 2, 2012</div>
<div class="software">
The Plasma project is an implementation of Map-Reduce over a
distributed filesystem. It is competitive with Hadoop.
<a href="http://plasma.camlcity.org/">Read more...</a>.
</div>
</div>
#include "body.trailer.include"
</body>
</html>
|
