gaiustech.wordpress.com
Real World OCaml | So I decided to take my work back underground
https://gaiustech.wordpress.com/2013/08/30/real-world-ocaml
So I decided to take my work back underground. To stop it falling into the wrong hands. August 30, 2013. In the course of my work with OCaml I have traditionally resisted using anything other than “pure” OCaml, and the facilities of the underlying OS. So rather than OMake. I just used plain, old-fashioned Makefiles. For package management, I relied on APT. On Debian and MacPorts. On OSX. And I avoided both Batteries. But now Real World OCaml. Which I have on pre-order. That’s on top of playing with...
minimalprocedure.pragmas.org
Programmazione funzionale, una semplice introduzione.
http://minimalprocedure.pragmas.org/writings/programmazione_funzionale/programmazione_funzionale.html
Author: Massimo Maria Ghisalberti - pragmas.org ( massimo.ghisalberti@pragmas.org. Mode 8.3.4). Programmazione funzionale, una semplice introduzione. 2 La programmazione informatica. 21 I Linguaggi di programmazione. 22 OOP vs FP. 3 La programmazione funzionale. 31 Le funzioni di prima classe. 311 Brevità su OCaml. 32 Variabili come valori. E funzioni come valori. 321 Sui tipi di dati in OCaml. 33 Funzioni come parametri. 35 Funzioni parzialmente applicate. 38 Organizzare le funzioni. E cicli - Map e Fold.
coldattic.info
A Foo walks into a Bar... - blog by Pavel Shved - coldattic.info
http://coldattic.info/shvedsky/pro/blogs/a-foo-walks-into-a-bar/posts/tagged/BLAST
A Foo walks into a Bar. Exploring the diverse world of programming. A Foo walks into a Bar. How About Multiplication by Zero. How Reader Mutexes Can Deadlock. Nonlinear Effects when Web Server is at 100% CPU. Light Sensor with Arduino for the Muni Sign. Misuse of Caching in Web Applications. SF Muni LED Sign at Home with Raspberry Pi. Multithreaded Consensus Versus Practice. How About Multiplication by Zero. Shown here are only posts related to BLAST. You can view all posts here. Published in the famous ...
camltastic.blogspot.com
Camltastic!: February 2009
http://camltastic.blogspot.com/2009_02_01_archive.html
Friday, 6 February 2009. Photos from OCaml Users Meeting, Grenoble, 2009. We had a very successful OCaml User Meeting. This week, with 45 people coming from around Europe to Grenoble. Xavier Leroy on progress made over 2008. Sylvain Le Gall OCamlCore.org. And OCaml as fast as C. Maxence Guesdon Chamo and Cameleon. Florent Ouchet VHDL symbolic simulation. David Teller Batteries Included. Christophe Troestler pa do (delimited overloading) syntax. Richard Jones (me) OCaml Windows cross-compiler.
forge.ocamlcore.org
OCaml Forge: Batteries : Revised Standard Library: Project Home
http://forge.ocamlcore.org/projects/batteries
Search the entire project. Batteries : Revised Standard Library. An effort to define a comprehensive standard library for OCaml, inspired in part by what modern industrial languages (Java/.Net) manage to provide out-of-the-box. 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. May 12, 2016. View All Project Files. View the 21 Member(s). 0 Comment Read More/Comment.
github.com
GitHub - chaudhuri/maetning: Disproving false theorems using saturation
https://github.com/chaudhuri/maetning
Disproving false theorems using saturation. Use Git or checkout with SVN using the web URL. Cannot retrieve the latest commit at this time. Failed to load latest commit information. This is an experiment in using the inverse method as an engine for disproving non-theorems. Recent OCaml toolchain (programmed using 4.02.1). From the topmost directory. The binary will be called. Depending on your operating system, you may need to rename it to. In order to run it. You can't perform that action at this time.
gaiustech.wordpress.com
So I decided to take my work back underground | To stop it falling into the wrong hands | Page 2
https://gaiustech.wordpress.com/page/2
So I decided to take my work back underground. To stop it falling into the wrong hands. Newer posts →. December 31, 2013. It is a bit strange; for the last 15-odd years Oracle has been my bread-and-butter, from versions 7 → 11g in Prod and 12c in Dev, as a DBA and a developer, but it is good once in a while to step outside one’s comfort zone. Here’s wishing for an exciting and prosperous 2014 for all! August 30, 2013. I just used plain, old-fashioned Makefiles. For package management, I relied on APT.
camltastic.blogspot.com
Camltastic!: Photos from OCaml Users Meeting, Grenoble, 2009
http://camltastic.blogspot.com/2009/02/photos-from-ocaml-users-meeting.html
Friday, 6 February 2009. Photos from OCaml Users Meeting, Grenoble, 2009. We had a very successful OCaml User Meeting. This week, with 45 people coming from around Europe to Grenoble. Xavier Leroy on progress made over 2008. Sylvain Le Gall OCamlCore.org. And OCaml as fast as C. Maxence Guesdon Chamo and Cameleon. Florent Ouchet VHDL symbolic simulation. David Teller Batteries Included. Christophe Troestler pa do (delimited overloading) syntax. Richard Jones (me) OCaml Windows cross-compiler. View my com...
jacoposantoni.com
jacoposantoni.com - Impossible! Language - Download
http://www.jacoposantoni.com/impossible/download
The current version of Impossible! Language interpreter is 0.1.5.65 and it's also the first public release. It can considered in alpha phase and still bug prone. Feel free to experiment with the interpreter and send any feedback related to bugs that you find or features that you would like to see in a newer version to my email. The source code is released under GPL v3.0 license. Impossible! Programming environment which can provide an easy way to install all the required libraries. The perfect solution w...