mweissmann.de
Markus Weißmann
http://www.mweissmann.de/ocaml
Computer science for fun and profit. Square root function with fixed boundary *) let sqroot x = let rec sqr r x = if abs float ( r *. r) -. x) 0.01 then r else sqr ( (x /. r) . r) /. 2.0) x in sqr 1.0 x. I contributed significantly to these projects:. A graph library (fixpoint, leaderlist and contraction modules). Library and tools to work with PROMELA, the specification language of the spin model checker. POSIX messages queue bindings (author). Fixed width integer types, limits and functions (co-author).
toccata.lri.fr
Toccata
http://toccata.lri.fr/tools.en.html
Formally Verified Programs, Certified Tools and Numerical Computations. Proof of Numerical Programs. Formalization and Certification of Languages, Tools and Systems. Gallery of verified programs. Is a tool that allows to verify the full functional correctness of OCaml programs. Proofs are conducted interactively, within the Coq proof assistant. CFML, which is based on the technique of "characteristic formulae", has been used to verify a collection of data structures and algorithms. A Coq library for reas...
ocamlwizard.lri.fr
Ocamlwizard | Download
http://ocamlwizard.lri.fr/download.php
Here is the latest version of Ocamlwizard. It requires:. Ocaml 3.10.2. For now, only user manual is available. It's a copy of the online version. It contains Ocamlwizard commands' documentation, outputs formats, a proof of integration (in Makefile, GNU Emacs and Ecliplse) and known limitations. David Baudet and Mohamed Iguernelala Updated on :. October 30, 2008.
toccata.lri.fr
Formalization and Certification of Languages, Tools and Systems
http://toccata.lri.fr/itp-fun.en.html
Formally Verified Programs, Certified Tools and Numerical Computations. Proof of Numerical Programs. Formalization and Certification of Languages, Tools and Systems. Gallery of verified programs. Formalization and Certification of Languages, Tools and Systems. Higher-order strongly typed programming languages such as Objective Caml. Our current activities mainly focus on using the capability of the Coq system to model both computation and deduction in order to explore different classes of applications...
anne.pacalet.fr
ViewGraph
http://anne.pacalet.fr/dev/viewgraph
ViewGraph is a small ocaml. Library that helps to view a graph from a dot file in a Lablgtk canvas, and interact with it. It reads dot files and uses the dot tool for the layout of the nodes. You can have a look to Graphviz. To know more about the dot tool and file format. It also uses the ocaml graph library ocamlgraph. 2013-09-07] viewgraph-1.1.tgz. Make; ./viewgraph file.dot. If you don't have any dot file, you can for instance use some examples from graphviz gallery. Some more things TODO. A first ve...
saltimfo.com
Le chameau saltimbanque : Visualisation avec OCaml
http://www.saltimfo.com/posts/visualiser-ocaml.html
Jeudi 17 juillet 2014. Je vais présenter dans la suite comment on peut générer des graphes, puis tracer des courbes, avec OCaml, avec des bibliothèques dédiées. On peut certes ouvrir le module Graphics, ou une fenêtre Gtk. Ou une image avec cairo. Et tout tracer manuellement. Mais ces bibliothèques vont faciliter la visualisation! 1 Représenter des graphes et des arbres. Qui permet de générer des descriptions de graphes au format graphviz. Pour installer ocamldot, utilisons opam! Donc dans un toplevel.
ocamlnews.blogspot.com
OCaml News: Good projects to learn OCaml from
http://ocamlnews.blogspot.com/2012/05/good-projects-to-learn-ocaml-from.html
Putting the fun in functional programming since 2005! Friday, 4 May 2012. Good projects to learn OCaml from. One of the less well covered aspects of OCaml is the higher-order module system. The ocamlgraph. Library is an excellent example that benefits from this language feature. You may also like to read the OCaml source code to my HLVM. Project. The source code from my book OCaml for Scientists (2005) is freely available here. Is a code generator for fast Fourier transforms (FFTs), essentially a very sp...
fdatamining.blogspot.com
F# and Data Mining: December 2012
http://fdatamining.blogspot.com/2012_12_01_archive.html
F# and Data Mining. Tuesday, December 11, 2012. A reading list on F# and other ML languages. This page will be updated regularly. last updated on 11 Dec 2012. For F#, Don Syme has posted a blog page:. How to reference F# in a research paper? Most of the papers therein are, of course, written by Don himself, the creator of F#. I only have a shallow understanding of most papers. So, I set up this page to keep track on interesting papers that I have read and want to re-read. An up-to-date review of the ML m...
blog.mister-muffin.de
Mister Muffin Blog
https://blog.mister-muffin.de/category/code
Let's Encrypt with Pound on Debian. Unshare without superuser privileges. New sbuild release 0.66.0. I became a Debian Developer. Unshare without superuser privileges. Sun, 25 Oct 2015 18:44. TLDR: With the help of Helmut Grohne I finally figured out most of the bits necessary to unshare everything without becoming root (though one might say that this is still cheated because the suid root tools. Lxc-usernsexec [opts] - unshare [opts] - COMMAND. My main motivation at that point was to let. Be run with an...