@prefix rdf: . "Maxence" ; "http://pauillac.inria.fr/~guesdon/" ; "Guesdon" . "Didier" ; "http://pauillac.inria.fr/~remy/" ; "Rémy" . "François" ; "http://pauillac.inria.fr/~fpottier/" ; "Pottier" . "François" ; "http://pauillac.inria.fr/~rouaix/" ; "Rouaix" . "François" ; "http://www-rocq.inria.fr/~thomasse/" ; "Thomasset" . "Frederic" ; "Brunel" . "Gaurav" ; "http://caml.inria.fr/~chanda/" ; "Chanda" . "George" ; "Necula" . "Georges" ; "http://www3.inrets.fr/estas/mariano/" ; "Mariano" . "Gilles" ; "http://pauillac.inria.fr/~dowek/" ; "Dowek" . "Guy" ; "http://www.pps.jussieu.fr/~cousinea/" ; "Cousineau" . "Harry" ; "http://www.chomsky.net" ; "Chomsky" . "Didier" ; "http://www.ps.uni-sb.de/~botlan/" ; "Le Botlan" . "Hendrik" ; "http://www.cs.ru.nl/~tews/" ; "Tews" . "Henri" ; "http://lcavwww.epfl.ch/~henridf/" ; "Dubois-Ferriere" . "Hongwei" ; "http://www.cs.bu.edu/~hwxi/" ; "Xi" . "Hugo" ; "http://pauillac.inria.fr/~herbelin/" ; "Herbelin" . "Hugues" ; "http://casse.hugues.free.fr/" ; "Cassé" . "Hyunjun" ; "http://ropas.kaist.ac.kr/~poisson" ; "Eo" . "Issac" ; "http://redwood.ucdavis.edu/~issac/" ; "Trotts" . "Jacobo" ; "Pérez Guardado" . "Jacques" ; "http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue" ; "Garrigue" . "James" ; "http://jhw.dreamwidth.org/" ; "Woodyatt" . "Roberto" ; "http://www.dicosmo.org/" ; "Di Cosmo" . "Jason" ; "http://www.cs.caltech.edu/~jyh/" ; "Hickey" . "Jean-François" ; "http://www.multimania.com/moninjf/" ; "Monin" . "Jean-Sylvain" ; "http://www.cadichonne.net/" ; "Goutelle" . "Jeff" ; "http://jhenrikson.org/" ; "Henrikson" . "Jens" ; "http://www.csd.uu.se/~jenso" ; "Olsson" . "Jeremy" ; "Condit" . "Jocelyn" ; "http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot" ; "Serot" . "John" ; "http://www.cl.cam.ac.uk/users/jrh" ; "Harrison" . "John" ; "http://www.rogare.com/index.php?inc=technologies.inc" ; "Small" . "Jon" ; "http://www.cis.upenn.edu/~jonm/home.html" ; "Moore" . "Alexandre" ; "http://www.pps.jussieu.fr/~miquel/" ; "Miquel" . "Jonathan" ; "http://www.drugphish.ch/~jonny/" ; "Heusser" . "Joël" ; "Falcou" . "Judicael" ; "http://www.lri.fr/~jcourant/" ; "Courant" . "Julien" ; "http://www.lri.fr/~signoles/" ; "Signoles" . "Jungtaek" ; "http://ropas.kaist.ac.kr/~judaigi/" ; "Kim" . "Jurjen" ; "http://sourceforge.net/users/stwerff/" ; "Stellingwerff" . "Jérôme" ; "http://www-db.research.bell-labs.com/user/simeon" ; "Siméon" . "Kamil" ; "Skalski" . "Kenn" ; "http://kenn.frap.net/" ; "Knowles" . "Lancelot" ; "http://www-rocq.inria.fr/~pecquet/" ; "Pecquet" . "Sébastien" ; "http://perso.wanadoo.fr/sebastien.ailleret/" ; "Ailleret" . "Lars" ; "http://sourceforge.net/users/qchamaeleon/" ; "Nilsson" . "Laurent" ; "http://www.loria.fr/~vigneron/" ; "Vigneron" . "Leonhard" ; "Fellermayr" . "Luc" ; "http://www.eleves.ens.fr:8080/home/lhabert/" ; "Habert" . "Luc" ; "http://para.inria.fr/~maranget" ; "Maranget" . "Luc" ; "Mazardo" . "Maas-Maarten" ; "http://home.wanadoo.nl/maas/" ; "Zeeman" . "Marek" ; "Langiewicz" . "Mark" ; "Hayden" . "Mark" ; "http://www.three-tuns.net/mark/" ; "Shinwell" . "James" ; "http://www.cs.cornell.edu/people/jcheney/" ; "Cheney" . "Markus" ; "http://www.ai.univie.ac.at/~markus/home/" ; "Mottl" . "Marta" ; "http://www.dia.uniroma3.it/~cialdea/" ; "Cialdea Mayer" . "Martin" ; "http://martin.jambon.free.fr/" ; "Jambon" . "Martin" ; "http://www.guldheden.com/~sandin/index.html" ; "Sandin" . "Mary" ; "http://www.research.att.com/~mff/" ; "Fernandez" . "Mathieu" ; "http://www.cadichonne.net/" ; "Goutelle" . "Matt" ; "http://www.havenrock.com/" ; "Gushee" . "Matthew" ; "Harren" . "Matthew W." ; "http://www.alve.com/~mattwb/resume.html" ; "Boyd" . "Matthieu" ; "http://www.epita.fr/~lagach_m" ; "Lagacherie" . "William" ; "http://www.dai.ed.ac.uk/homes/williamc/" ; "Chesters" . "Mauhuur" ; "Mauhuur" . "Maurice" ; """http://www-rocq.inria.fr/who/Maurice.Bremond """ ; "Bremond" . "Michael" ; "http://www.cis.upenn.edu/~mwh" ; "Hicks" . "Michel" ; "http://pauillac.inria.fr/~quercia" ; "Quercia" . "Mike" ; "http://mikelin.mit.edu/" ; "Lin" . "Mike" ; "http://spivey.oriel.ox.ac.uk/mike/" ; "Spivey" . "Mikhail" ; "http://sourceforge.net/users/mfedotov/" ; "Fedotov" . "Miles" ; "http://www.caddr.com" ; "Egan" . "Nadji" ; "Gauthier" . "Nathaniel" ; "http://floating.caltech.edu/~n8gray/" ; "Gray" . "Michael" ; "http://www-pu.informatik.uni-tuebingen.de/users/sperber/" ; "Sperber" . "Nickolay" ; "http://sourceforge.net/users/kolchin/" ; "Semyonov-Kolchin" . "Nicolas" ; "http://nicolas.francois.free.fr/" ; "François" . "Nicolas" ; "http://www.eleves.ens.fr:8080/home/george/" ; "George" . "Nicolas" ; "Oury" . "Norman" ; "http://www.eecs.harvard.edu/~nr/" ; "Ramsey" . "Ohad" ; "http://www.cs.huji.ac.il/~orodeh/" ; "Rodeh" . "Olivier" ; "http://oandrieu.nerim.net/ocaml/" ; "Andrieu" . "Olivier" ; "http://freefolks.org/" ; "Ricordeau" . "Oukseh" ; "http://ropas.kaist.ac.kr/~cookcu/cookcu.e.shtml" ; "Lee" . "Pankaj" ; "http://www.cis.upenn.edu/~pankaj/home.html" ; "Kakkar" . "Achim" ; "http://www-mgi.informatik.rwth-aachen.de/~blume/" ; "Blumensath" . "Panu" ; "http://sange.fi/~atehwa/" ; "Kalliokoski" . "Pascal" ; "http://perso.wanadoo.fr/pascal.brisset/" ; "Brisset" . "Pascal" ; "http://www.recherche.enac.fr/~brisset/" ; "Brisset (ENAC)" . "Pascal" ; "http://www.pps.jussieu.fr/~eleph/" ; "Manoury" . "Pascal" ; "http://www.chez.com/prigaux/" ; "Rigaux (Pixel)" . "Patrick" ; "http://www.watson.org/~patrick" ; "Doane" . "Paul" ; "http://www.loria.fr/~zimmerma/" ; "Zimmermann" . "Rafael R." ; "Sevilla" . "Ralf" ; "http://www.lsv.ens-cachan.fr/~treinen/" ; "Treinen" . "Reinhard" ; "http://ais.gmd.de/~budde/" ; "Budde" . "Berke" ; "http://abaababa.ouvaton.org/" ; "Durak" . "Richard W.M." ; "Jones" . "Robbert" ; "http://www.cs.cornell.edu/home/rvr/" ; "van Renesse" . "Robert" ; "http://www.cs.ubc.ca/~rbridson/" ; "Bridson" . "Robert" ; "http://www.silve.net/" ; "Silve" . "Rémi" ; "Vanicat" . "Sami" ; "http://users.utu.fi/sajuma/" ; "Makela" . "Samuel" ; """http://perso.ens-lyon.fr/samuel.mimram """ ; "Mimram" . "Scott" ; "http://chronis.pobox.com/~scott/" ; "Cotton" . "Scott" ; "McPeak" . "Scott" ; "http://www.cis.upenn.edu/~nettles" ; "Nettles" . "Vincent" ; "http://pauillac.inria.fr/~simonet/" ; "Simonet" . "Jim" ; "http://farrand.net/" ; "Farrand" . "Scott" ; "http://www.cs.jhu.edu/~scott/" ; "Smith" . "Shawn" ; "http://raevnos.pennmush.org/" ; "Wagner" . "Shivkumar" ; "Chandrasekaran" . "Simon" ; "http://research.microsoft.com/Users/simonpj/" ; "Peyton Jones" . "SooHyoung" ; "http://www.taglib.co.kr/shoh.html" ; "Oh" . "Stefan" ; "http://fsd-amoeba.sourceforge.net/sbosse.html" ; "Bosse" . "Stefan" ; "http://www.complang.tuwien.ac.at/skral/" ; "Kral" . "Stefano" ; "http://upsilon.cc/~zack/" ; "Zacchiroli" . "Sylvain" ; "http://www.lri.fr/~conchon/" ; "Conchon" . "Sébastien" ; "http://lamp.epfl.ch/~sbriais/" ; "Briais" . "Diego Olivier" ; "http://www.edite-de-paris.com.fr/~fpons/" ; "Fernandez Pons" . "T. Kurt" ; "Bond" . "Thomas" ; "Baruchel" . "Thomas" ; "http://www.irisa.fr/lande/genet/" ; "Genet" . "Thérèse" ; "http://www-spi.lip6.fr/~hardin/" ; "Hardin" . "Tim" ; "http://www.cs.cornell.edu/Info/People/tclark/tclark.html" ; "Clark" . "Tom" ; """http://www.launchbird.com/ """ ; "Hawkins" . "Travis" ; "http://sourceforge.net/users/bemann/" ; "Bemann" . "Trevor" ; "http://www.research.att.com/~trevor" ; "Jim" . "Valérie" ; "http://www.irisa.fr/lande/viettrie/" ; "Viet Triem Tong" . "Vassili" ; "http://www.boblycat.org/~malc/" ; "Karpov (Malc)" . "Gérard" ; "http://pauillac.inria.fr/~huet/" ; "Huet" . "Victor M." ; "Gulias" . "Vitaly" ; "http://ontil.ihep.su/~vsl/" ; "Lugovsky" . "Véronique" ; "http://www.lsv.ens-cachan.fr/~cortier/" ; "Cortier" . "Walid" ; "http://cs-www.cs.yale.edu/homes/taha/" ; "Taha" . "Westley" ; "http://www.cs.virginia.edu/~weimer/" ; "Weimer" . "William" ; "http://www.dai.ed.ac.uk/homes/williamc/" ; "Chesters" . "William D." ; "http://www.cs.unm.edu/~wneumann/" ; "Neumann" . "Woongsik" ; "http://ropas.kaist.ac.kr/~wschoi" ; "Choi" . "Yamagata" ; "http://sourceforge.net/users/yori/" ; "Yoriyuki" . "Yaron M." ; "http://minsky-primus.homeip.net/" ; "Minsky" . "Gerd" ; "http://www.gerd-stolpmann.de/" ; "Stolpmann" . "Yukata" ; "http://www.yl.is.s.u-tokyo.ac.jp/~oiwa/" ; "Oiwa" . "Yurii A." ; "Rashkovskii" . "Yves" ; "http://www-rocq.inria.fr/~sorel/" ; "Sorel" . "http://go.to/mldonkey" ; "[b8]bavard" . "http://www.boblycat.org/~malc" ; "malc" . "William" ; "Lovas" . "Owen" ; "Gunden" . "John" ; "Skaller" . "Sylvain" ; "http://sylvain.le-gall.net/" ; "Le Gall" . "Xavier" ; "Redon" . "http://www.rashitoul.net/fr/htm/poc.htm" ; "POC Team" . "John" ; "Goerzen" . "Alicia" ; "http://www.csun.edu/~aey47116/" ; "Young" . "Jürgen" ; "http://www.pfitzenmaier.de/" ; "Pfitzenmaier" . "John" ; "http://www.msu.edu/~jthale/" ; "Hale" . "Christopher A." ; "http://www.cgorski.org/" ; "Gorski" . "Jesse" ; "http://www.wingnet.net/~jesse/ocaml/" ; "Guardiani" . "Paul" ; "http://pessimization.com" ; "Pelzl" . "Andrei" ; "Formiga" . "Damien" ; "http://pauillac.inria.fr/~doligez/" ; "Doligez" . "Olivier" ; "Pérès" . "Lex" ; "http://www.eecs.harvard.edu/~stein/" ; "Stein" . "Jean-Baptiste" ; "http://perso.ens-lyon.fr/jean-baptiste.rouquier" ; "Rouquier" . "Neale" ; "http://wiki.woozle.org/NealePickett" ; "Pickett" . "Gina" ; "Belmonte" . "Bardur" ; "http://www.imada.sdu.dk/~bardur/personal/index.html" ; "Arantsson" . "Robert" ; "Roessler" . "Grégoire" ; "http://www.pps.jussieu.fr/~henry" ; "Henry" . "Jere" ; "http://www.xmunkki.org/" ; "Sanisalo" . "Raphael" ; "http://www.pps.jussieu.fr/~montela/" ; "Montelatici" . "Vincenzo" ; "Ciancia" . "Matthieu" ; "http://mattam.org/" ; "Sozeau" . "Guillaume" ; "Marceau" . "Arthur" ; "Charguéraud" . "David" ; "http://perso.ens-lyon.fr/david.baelde/" ; "Baelde" . "Russ" ; "http://www.russross.com/" ; "Ross" . "Eijiro" ; "http://www.cis.upenn.edu/~sumii/" ; "Sumii" . "Jon" ; "Harrop" . "Julien" ; "http://rashitoul.net/jboulnois" ; "Boulnois" . "Oliver" ; "http://www.belug.org/~ob/" ; "Bandel" . "Radu" ; "http://rgrig.blogspot.com/" ; "Grigore" . "Julien" ; "http://www.lix.polytechnique.fr/Labo/Julien.Narboux/" ; "Narboux" . "Jamie" ; "Clarkson" . "Claude" ; "http://www.lri.fr/~marche/" ; "Marché" . "Mike" ; "http://capricorn.dnsalias.org/mike/" ; "Hamburg" . "Jonathan" ; "Roewen" . "Michael" ; "http://www.cs.umd.edu/~furr/" ; "Furr" . "Pierre-Etienne" ; "Meunier" . "Damien" ; "Guichard" . "Henri" ; "http://connex.lip6.fr/~binsztok/" ; "Binsztok" . "Pierre-Yves" ; "http://www.lix.polytechnique.fr/~strub/" ; "Strub" . "Damien" ; "Bobillot" . "Stephen" ; "http://www.cis.upenn.edu/~stse/" ; "Tse" . "Christian" ; "http://metamatix.org/~ocaml/" ; "Szegedy" . "Christophe" ; "http://www.lama.univ-savoie.fr/~RAFFALLI/" ; "Raffali" . "Paul" ; "http://argentoff.rtelekom.ru/" ; "Argentoff" . "Maurizio" ; "Colucci" . "Philippe" ; "Narbel" . "Oleg" ; "http://olegtrott.com" ; "Trott" . "Florent" ; "http://www.linux-nantes.org/~fmonnier/OCaml/" ; "Monnier" . "Yann" ; "http://pauillac.inria.fr/~regisgia/" ; "Régis-Gianas" . "Japheth" . "Geopoul" . "Kevin" ; "http://www.limsi.fr/Individu/sejourne/" ; "Séjourné" . "Bruno" ; "De Fraine" . "Hideo" ; "http://bonsai.ims.u-tokyo.ac.jp/~bannai/" ; "Bannai" . "Mario" ; "http://wwwteor.mi.infn.it/~pernici/" ; "Pernici" . "Yasuhiko" ; "http://www.score.cs.tsukuba.ac.jp/~minamide/" ; "Minamide" . "Till" ; "Varoquaux" . "Ramu" ; "http://ramamurthy.ramu.googlepages.com/" ; "Ramamurthy" . "Oleg" ; "http://pobox.com/~oleg/ftp/" ; "Kiselyov" . "Chung-chieh" ; "http://www.eecs.harvard.edu/~ccshan/" ; "Shan" . "Amr" ; "http://www.cs.indiana.edu/~sabry/" ; "Sabry" . "Peter" ; "http://www.cl.cam.ac.uk/users/pes20/" ; "Sewell" . "John" ; "http://www.cl.cam.ac.uk/~jnb26" ; "Billings" . "Rok" ; "http://www.cl.cam.ac.uk/~rs456/" ; "Strniša" . "Xavier" ; "http://pauillac.inria.fr/~xleroy/" ; "Leroy" . "Yoshinori" ; "http://hypothesiscreator.net/~tamada/" ; "Tamada" . "Dmitri" ; "Boulytchev" . "Geoffrey Alan" ; "Washburn" . "Sébastien" ; "http://www.irisa.fr/lande/ferre/" ; "Ferré" . "Janne" ; "Hellsten" . "Jacques" ; "http://www.cas.mcmaster.ca/~carette/" ; "Carette" . "Lydia E." ; "van Dijk" . "Matthew" ; "http://uk.geocities.com/matthew_wahab/" ; "Wahab" . "Michel" ; "http://quincy.inria.fr/" ; "Mauny" . "Peggy" ; "http://www-rocq.inria.fr/~cenac/" ; "Cénac" . "Elliot" ; "http://www.elliottoti.com/" ; "Oti" . "Pierre" ; "http://www.lifl.fr/~boulet/" ; "Boulet" . "Frédéric" ; "Hugot" . "Eric" ; "http://www.cs.cornell.edu/w8/~ebreck/" ; "Breck" . "Emmanuel" ; "http://perso.ens-lyon.fr/emmanuel.onzon" ; "Onzon" . "Marco" ; "http://www.di.unipi.it/~marcod/" ; "Danelutto" . "Zheng" ; "http://www.pps.jussieu.fr/~li/" ; "Li" . "Susanna" ; "http://www.di.unipi.it/~susanna/" ; "Pelagatti" . "Dale" ; "http://www.lix.polytechnique.fr/Labo/Dale.Miller/" ; "Miller" . "Andrew" ; "http://www-users.cs.umn.edu/~agacek/" ; "Gacek" . "Gopalan" ; "http://www-users.cs.umn.edu/~gopalan/" ; "Nadathur" . "Jeff" ; "Heard" . "Alwen" ; "http://users.rsise.anu.edu.au/~tiu/" ; "Tiu" . "Serge" ; "Aleynikov" . "Stefan" ; "Lampe" . "Vincent" ; "http://tab.snarc.org" ; "Hanquez" . "Stéphane" ; "http://www.pps.jussieu.fr/~gimenez/" ; "Gimenez" . "Julien" ; "http://www.liafa.jussieu.fr/~jcristau/" ; "Cristau" . "Gaétan" ; "http://www.lif.univ-mrs.fr/~grichard/" ; "Richard" . "Gauillaume" ; "http://www.loria.fr/~burel/" ; "Burel" . "Mika" ; "Illouz" . "Vincent" ; "http://www.pps.jussieu.fr/~balat/" ; "Balat" . "Frédric" ; "http://f.loulergue.free.fr/" ; "Loulergue" . "Erik" ; "http://www.mega-nerd.com/" ; "de Castro Lopo" . "Francesco" ; "http://moscova.inria.fr/~zappa/" ; "Zappa Nardelli" . "Jim" ; "http://syn.cs.pdx.edu/~jsnow/" ; "Snow" . "Stevan" ; "Little" . "Markus E." ; "http://www.etc-network.de/people.html#mel" ; "Leypold" . "Tiphaine" ; "Turpin" . "Daniel" ; "http://erratique.ch" ; "Bunzli" . "François" ; "http://www-rocq.inria.fr/who/Francois.Clement/" ; "Clément" . "Andre" ; "Simon" . "Michal" ; "http://www.kernel.pl/~malekith/" ; "Moskal" . "Christopher" ; "http://www.cs.nyu.edu/~cconway" ; "Conway" . "John" ; "Whitington" . "Frédéric" ; "http://www.loria.fr/~blanqui/" ; "Blanqui" . "Emmanuel" ; "http://emmanuel.dieul.free.fr/" ; "Dieul" . "Joël" ; "Reymond" . "João" ; "Barbosa de Souza Filho" . "Jeremy" ; "http://www.inf.ed.ac.uk/people/students/Jeremy_Yallop.html" ; "Yallop" . "Grant" ; "http://members.verizon.net/~olsongt/" ; "Olson" . "Dave" ; "Benjamin" . "Nicolas" ; "Bros" . "Alain" ; "http://www.eleves.ens.fr/home/frisch/" ; "Frisch" . "Luca" ; "http://luca.dealfaro.org/" ; "de Alfaro" . "Denis" ; "Bueno" . "Manuel" ; "Preliteiro" . "Robert" ; "http://www.math.berkeley.edu/~schneck/" ; "Schneck" . "Andre" ; "Nathan" . "Michel" ; "Machado" . "Dario" ; "http://www.dse.nl/~dario/" ; "Teixeira" . "Xavier" ; "http://www.x9c.fr" ; "Clerc" . "Vincent" ; "Aravantinos" . "Leonardo" ; "http://research.microsoft.com/%7Eleonardo/" ; "de Moura" . "Hans Ole" ; "Rafaelsen" . "Nikolaj" ; "http://research.microsoft.com/%7Enbjorner/" ; "Bjorner" . "Luca" ; "http://www-lipn.univ-paris13.fr/~saiu" ; "Saiu" . "Jean-Vincent" ; "http://www-lipn.univ-paris13.fr/~loddo" ; "Loddo" . "Gilles" ; "http://moscova.inria.fr/~peskine/" ; "Peskine" . "Tom" ; "http://www.cl.cam.ac.uk/~tjr22/" ; "Ridge" . "Scott" ; "http://www.cl.cam.ac.uk/~so294/" ; "Owens" . "Hans" ; "http://www.soton.ac.uk/~fangohr/index.html" ; "Fangohr" . "Thomas" ; "Fischbacher" . "Hezekiah M." ; "Carty" . "Dimitry" ; "Grebeniuk" . "Evan" ; "http://neugierig.org/evan/" ; "Martin" . "Fabrice" ; "http://fabrice.marchant.free.fr" ; "Marchant" . "Yann" ; "Armelin" . "Virgile" ; "Prevosto" . "Sharvil" ; "http://sharvil.nanavati.net/" ; "Nanavati" . "Romain" ; "Beauxis" . "Andrew I." ; "http://www.andrewschein.com" ; "Schein" . "http://www.janestcapital.com/ocaml" ; "Jane Street Capital" . "Pascal" ; "Cuoq" . "Jake" ; "Donham" . "Manuel" ; "http://www.macs.hw.ac.uk/~mm20/" ; "Maarek" . "Yoann" ; "Padioleau" . "Satoshi" ; "Ogasawara" . "Mauricio" ; "Fernandez" . "Bluestorm" . "Pierre-Evariste" ; "http://perso.eleves.bretagne.ens-cachan.fr/~dagand" ; "Dagand" . "Dejan" ; "Kostic" . "Viktor" ; "Kuncak" . "Laurent" ; "http://trebuh.net/" ; "Hubert" . "David" ; "http://www.univ-orleans.fr/lifo/Members/David.Teller" ; "Teller" . "Mikkel Fahnoe" ; "Jorgensen" . "Nicolas" ; "Cannasse" . "Alex" ; "http://www.rubinsteyn.com/" ; "Rubinsteyn" . "Romain" ; "http://romain.bardou.fr/" ; "Bardou" . "Johannes" ; "http://www.lri.fr/~kanig/" ; "Kanig" . "Stéphane" ; "http://www.lri.fr/~lescuyer/" ; "Lescuyer" . "Jérémie" ; "Dimino" . "Benjamin" ; "http://www.pps.jussieu.fr/~canou/" ; "Canou" . "Dany" ; "Maslowski" . "Julie" ; "De Pril" . "Sashan" ; "http://sashang.orcon.net.nz/" ; "Govender" . "Ilmari" ; "Heikkinen" . "David" ; "http://www.csc.vill.edu/~dmatusze/" ; "Matuszek" . "Thorsten" ; "http://theorie.physik.uni-wuerzburg.de/~ohl/" ; "Ohl" . "Jean-Christophe" ; "Arnu" . "Tautrimas" ; "Pajarskas" . "Jeff" ; "http://www.cs.umd.edu/~jfoster/" ; "Foster" . "David Jong-hoon" ; "http://www.cs.umd.edu/~davidan/" ; "An" . "Guillaume" ; "Hennequin" . "Marcin" ; "http://students.mimuw.edu.pl/~ms248283/" ; "Sulikowski" . "Anil" ; "Madhavapeddy" . "Matthew" ; "http://web.comlab.ox.ac.uk/people/Matthew.Hague/" ; "Hague" . "Paweł" ; "Boguszewski" . "Julien" ; "http://perso.ens-lyon.fr/julien.robert/" ; "Robert" . "Haruo" ; "http://www.kurims.kyoto-u.ac.jp/~hahosoya/" ; "Hosoya" . "Guillaume" ; "Von Tokarski" . "Jérôme" ; "http://www.pps.jussieu.fr/~vouillon/" ; "Vouillon" . "Adrien" ; "Nader" . "Thomas" ; "Gazagnaire" . "Guillaume" ; "http://tehessin.tuxfamily.org/" ; "Connan" . "Guillaume" ; "http://yziquel.homelinux.org/" ; "Yziquel" . "Francesco" ; "https://forge.ocamlcore.org/users/francesco/" ; "Tovagliari" . "Edgar" ; "Friendly" . "Julien" ; "Verlaguet" . "Alessandro" ; "Baretta" . "Sébastien" ; "http://seb.mondet.org/" ; "Mondet" . "Kaspar" ; "Rohrer" . "Julian" ; "http://panic.cs-bristol.org.uk/~jules/" ; "Brown" . "http://focalize.inria.fr/contacts/" ; "Focalize Team" . "Eray" ; "Ozkural" . "Albert" ; "http://www-rocq.inria.fr/~acohen/index.html.en" ; "Cohen" . "Frama-C Development team (CEA LIST and INRIA Saclay)" . "Jeremy" ; "Bern" . "Mickaël" ; "http://delahaye.whilefalse.com" ; "Delahaye" . "Arlen" ; "Cuss" . "Jacques" ; "Le Normand" . "Benoit" ; "Vaugon" . "Philippe" ; "http://philippewang.info" ; "Wang" . "ygrek" . "Benedikt" ; "Meurer" . "Thomas" ; "Moniot" . "Aleksey" ; "http://www.cs.cornell.edu/nogin/" ; "Nogin" . "Jehan" ; "Pagès" . "Kai" ; "Giese" . "Vincent" ; "http://www.vincent-gripon.com/" ; "Gripon" . "Will M." ; "Farr" . "Gregory" ; "Bellier" . "Prashanth" ; "Mundkur" . "Dana N." ; "http://gallium.inria.fr/~naxu/" ; "Xu" . "Dawid" ; "Toton" . "Gaius" ; "Hammond" . "Anton" ; "Lavrik" . "Alexei" ; "http://www.cs.cornell.edu/People/kopylov/" ; "Kopylov" . "Nicolas" ; "Barré" . "Delphine" ; "http://www.irisa.fr/celtique/demange/" ; "Demange" . "Vincent" ; "Monfort" . "David" ; "http://www.irisa.fr/celtique/pichardie" ; "Pichardie" . "Stéphane" ; "Legrand" . "Stéphane" ; "Grognet" . "Alvise" ; "http://polygen.org/web/Credits.551.0.html" ; "Spano" . "Amit" ; "http://www.coli.uni-sb.de/~adubey/" ; "Dubey" . "Andreas" ; "Brandmaier" . "Andrew" ; "http://www.nobugs.org/" ; "Birkett" . "Patrick" ; "http://www.di.ens.fr/~cousot/" ; "Cousot" . "Andrew" ; "http://sequence-www.stanford.edu/~arc/" ; "Conway" . "Anton" ; "Moskal" . "Arnaud" ; "Doniec" . "Art" ; "http://sourceforge.net/users/arty/" ; "Yerkes" . "Avi" ; "http://www.eecs.harvard.edu/~avi/" ; "Pfeffer" . "Avik" ; "http://pauillac.inria.fr/~chaudhur/" ; "Chaudhuri" . "Basile" ; "http://www.starynkevitch.net/Basile/" ; "Starynkevitch" . "Benjamin C." ; "http://www.cis.upenn.edu/~bcpierce" ; "Pierce" . "Benjamin" ; "Geer" . "Benjamin" ; "http://www.lri.fr/~monate/" ; "Monate" . "Jean-Christophe" ; "http://www.lri.fr/~filliatr/" ; "Filliâtre" . "Benjamin" ; "http://pauillac.inria.fr/~werner/" ; "Werner" . "Benoît" ; "http://www.stud.enst.fr/~debourse" ; "de Boursetty" . "Bill" ; "http://math.ucsb.edu/~lyons/" ; "Lyons" . "Brian" ; "Hurt" . "Brock" ; "http://thelackthereof.org/" ; "Wilcox" . "Bruno" ; "http://pauillac.inria.fr/~barras/" ; "Barras" . "Bruno" ; "http://www-spi.lip6.fr/~pagano/" ; "Pagano" . "Bruno" ; "http://algo.inria.fr/salvy/index.html" ; "Salvy" . "Bruno" ; "Verlyck" . "Carl A." ; "http://www.cis.upenn.edu/~gunter" ; "Gunter" . "Pierre" ; "http://pauillac.inria.fr/~weis/" ; "Weis" . "Carla" ; "http://www.dia.uniroma3.it/~limongel/" ; "Limongelli" . "Charles-Albert" ; "http://www.cmla.ens-cachan.fr/Cmla/InfoMembre/Fiche/lehalle.html" ; "Lehalle" . "Christian" ; "http://www.neo-rousseaux.org/cgillot" ; "Gillot" . "Christian" ; "http://www.st.cs.uni-sb.de/~lindig/" ; "Lindig" . "Christian" ; "http://youpou.lip6.fr/queinnec/WWW/Queinnec.html" ; "Queinnec" . "Christine" ; "http://www.lri.fr/~paulin/" ; "Paulin-Mohring" . "Christoph" ; "Bauer" . "Christophe" ; "http://christophe.deleuze.free.fr/" ; "Deleuze" . "Christophe" ; "http://www.umh.ac.be/math/an/" ; "Troestler" . "Christopher" ; "http://christopherwatford.com/" ; "Watford" . "Jun" ; "http://pauillac.inria.fr/~furuse/" ; "Furuse" . "Claudio" ; "http://www.cs.unibo.it/~sacerdot/" ; "Sacerdoti Coen" . "Cristiano" ; "http://www.dcs.qmul.ac.uk/~ccris/" ; "Calcagno" . "Damien" ; "http://www.ens-lyon.fr/~dpous/" ; "Pous" . "Daniel" ; "http://pauillac.inria.fr/~ddr" ; "de Rauglaudre" . "David" ; "http://www.foxthompson.net/dsf/start.html" ; "Fox" . "David" ; "http://www.eleves.ens.fr:8080/home/madore/" ; "Madore" . "David" ; "McClain" . "David" ; "http://www.linux-france.org/~dmentre/" ; "Mentre" . "David" ; "http://www.di.ens.fr/~monniaux/" ; "Monniaux" . "Didier" ; "http://www.loria.fr/~galmiche/" ; "Galmiche" . "Alan" ; "http://pauillac.inria.fr/~aschmitt/" ; "Schmitt" . "Didier" ; "http://d.plaindoux.free.fr/" ; "Plaindoux" . "Dimitri" ; "http://dimitri.mutu.net" ; "Ara" . "Dmitry" ; "Lomov" . "Emmanuel" ; "http://www.pps.jussieu.fr/~emmanuel/" ; "Chailloux" . "Eric" ; "http://sourceforge.net/users/thelema/" ; "Norige" . "Eric" ; "Stokes" . "Erik" ; "http://www.aarg.net/~erik/" ; "Arneson" . "Ernesto" ; "Torresin" . "Fabrice" ; "http://pauillac.inria.fr/~lefessan" ; "Le Fessant" . "François" ; "http://francois.pessaux.neuf.fr/" ; "Pessaux" . "A library manager for Objective Caml." ; "Has a Godi package", "Has a documentation" ; "MIT/X11" ; "http://projects.camlcity.org/projects/findlib.html" ; "Build tools" ; "Findlib" ; "Development tools" ; "1.2.4" . "This library is an extension of the Buffer library which is included in the standard OCaml distribution. Its interest is to allow to read buffers partially." ; "http://perso.wanadoo.fr/sebastien.ailleret/caml/" ; "Strings manipulation" ; "ActiveBuffer" ; "Native OCaml libraries" . "OCaml Curses is a project to provide curses / ncurses bindings for the Objective Caml language. It was formally known as Text Mode Kit (TMK), but the TMK part of the project is not supported any more, and instead we are just concentrating on providing reliable OCaml curses bindings. " ; "LGPL" ; "http://www.nongnu.org/ocaml-tmk/" ; "Text interfaces" ; "OCaml Curses" ; "Bindings with C libraries" ; "1.0.1" . "A small extension to ocaml 3-02 called coca-ml and using camlp4 to allow 'down cast' of objects between classes in relations of inheritance and sub-typing." ; "http://www.pps.jussieu.fr/~emmanuel/Public/Dev/coca-ml/index-en.html" ; "Language extensions" ; "Coca-ml" ; "Camlp4 extensions" ; "0.2" . "CocOCaml is a Cocoa based wrapper for the OCaml toplevel environment." ; "Has a documentation" ; "http://www.cs.unm.edu/~wneumann/cococaml" ; "Development environments" ; "CocOCaml" ; "Development tools" ; "0.7" . "OCaml tag file generator." ; "GPL" ; "http://redwood.ucdavis.edu/~issac/software/" ; "Editor modes" ; "Taglet" ; "Development tools" ; "1.3" . "A collection of the author's projects on combinator-based implementations of functional languages." ; "GPL" ; "http://combengine.sourceforge.net/" ; "Compilers" ; "Combinator Engine" ; "Scientific software" . "Vim tag file generation for OCaml." ; "GPL" ; "http://redwood.ucdavis.edu/~issac/taggage-1.1.ml" ; "Editor modes" ; "taggage" ; "Development tools" ; "1.1" . "A compilation course including a tutorial for Caml." ; "http://www.cs.jhu.edu/~scott/pl/lectures/" ; "Compilation course using Caml" ; "Courses" . "A powerful logic design language that combines the dataflow and component-based methodologies of HDL with the expressiveness of modern functional programming." ; "Has a documentation", "Has a tutorial" ; "GPL" ; "http://www.launchbird.com/" ; "Languages interfaces" ; "Confluence" ; "Applications written in Caml", "Development tools" ; "0.9" . "A course on pure lambda-calculus. This is an executable course, implemented in Pidgin ML, which is a core subset of the Objective Caml programming language under the so-called revised syntax." ; "http://pauillac.inria.fr/~huet/CCT/" ; "Constructive Computation Theory" ; "Courses" . "An OCaml module for performing exact arithmetic on real numbers by representing them as continued fractions. It implements the well-known algorithm described by R.W. Gosper (see reference below). The continued fractions are lazy evaluated (eventually infinite) lists. Basic arithmetic operations as well as many transcendent functions are available." ; "MIT/X11" ; "http://contfrac.sourceforge.net/" ; "Numeric computation" ; "Contfrac" ; "Native OCaml libraries" ; "alpha-1" . "AlphaProlog is a logic programming language with built-in names, fresh name generation, name binding, and unification up to alpha-equivalence." ; "Has a documentation" ; "http://www.cs.cornell.edu/people/jcheney/aprolog/" ; "Compilers" ; "AlphaProlog" ; "Scientific software" ; "0.3" . "A proof assistant." ; "Has a documentation", "Has a tutorial" ; "LGPL" ; "http://coq.inria.fr/" ; "Maths and Logic", "Typing" ; "Coq" ; "Major applications", "Scientific software" ; "8.3" . "Lecture notes about data structure in Objective Caml (in French)." ; "http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/cours/csti.pdf" ; "Data structures" ; "Cours algorithmes et structures de données" ; "Courses" . "Lectures notes about compilation (in French)" ; "http://www.lri.fr/~paulin/COMPIL/introduction.html" ; "Compilers" ; "Cours de Compilation" ; "Courses" . "An Objective Caml implementation of the continuation-passing-style output from Olivier Danvy's paper Functional Unparsing. " ; "Public Domain" ; "http://tkb.mpl.com/~tkb/software.html" ; "Cpsio" ; "Toys - Examples" . "An exact real arithmetic module for OCaml." ; "LGPL" ; "http://www.lri.fr/~filliatr/software.en.html" ; "Numeric computation" ; "Creal" ; "Bindings with C libraries" ; "0.7" . "Symmetric cryptographic algorithms: Blowfish, DES, 3DES." ; "Has a Godi package" ; "MIT/X11" ; "http://www.ocaml-programming.de/programming/download-caml.html" ; "Cryptography" ; "cryptgps" ; "Native OCaml libraries" ; "0.2" . "A library of cryptographic primitives for OCaml." ; "http://forge.ocamlcore.org/projects/cryptokit/" ; "Cryptography" ; "Cryptokit" ; "Native OCaml libraries" ; "1.4" . "A full-featured charset and string library." ; "Has a documentation" ; "LGPL" ; "http://pauillac.inria.fr/cash/cstr/" ; "Strings manipulation" ; "Cstr" ; "Native OCaml libraries" ; "0.8" . "GODIVA, the GODI Verpacken Assistant, is a tool for making GODI packages." ; "Has a Godi package", "Has a documentation" ; "http://projects.phauna.org/GODIVA/" ; "Build tools" ; "GODIVA" ; "Development tools" ; "0.9.4" . "http://www.dai.ed.ac.uk/homes/williamc/ocaml-fortran/" ; "Languages interfaces" ; "An example of OCaml/Fortran interface" ; "Toys - Examples" . """Another build system for OCaml... The idea is to write a Makefile.ml, using the YaM helper module, and to compile it to get a project specific make. """ ; "http://perso.ens-lyon.fr/damien.pous/shared/ocaml/YaM/" ; "Build tools" ; "YaM" ; "Development tools" . "SynDEx is a graphical interactive software with on-line documentation, implementing the AAA methodology." ; "Has a documentation", "Has a tutorial" ; "http://www-rocq.inria.fr/syndex/" ; "Science" ; "Syndex" ; "Major applications" ; "6.7.0" . " SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is primarily used with common scripting languages such as Perl, Python, Tcl/Tk, and Ruby, however the list of supported languages also includes non-scripting languages such as Java, OCAML and C#." ; "Has a documentation" ; "http://www.swig.org" ; "Code generators", "Languages interfaces" ; "SWIG" ; "Development tools" ; "1.3.20" . "SwiftSurf is a web proxy that can handle http (1.0 and 1.1) and https. Moreover, it allows page filtering and authentication through a password." ; "http://swiftsurf.sourceforge.net/index-eng.html" ; "Servers and clients" ; "SwiftSurf" ; "Others" ; "1.2.5" . """A system for extracting structural and possibly functional similarities in 3D structures of proteins.""" ; "http://sumo-pbil.ibcp.fr" ; "Biology" ; "Sumo" ; "Scientific software" . "Provides an ability to interactively edit/navigate arbitrary Ocaml data structures." ; "http://pauillac.inria.fr/~chaudhur/" ; "Development environments" ; "Stred" ; "Native OCaml libraries" . "An implementation of the Porter stemming algorithm for OCaml." ; "http://www.aarg.net/~erik/ocaml/stemmer-0.1.0.tar.gz" ; "Strings manipulation" ; "Stemmer" ; "Native OCaml libraries" ; "0.1.0" . "Binary trees where often accessed items tend to be near the root." ; "http://www.multimania.com/moninjf/Ocaml/" ; "Data structures" ; "Splay trees" ; "Native OCaml libraries" ; "0.4.2" . "SpamOracle, a.k.a. \"Saint Peter\", is a tool to help detect and filter away \"spam\" (unsolicited commercial e-mail). It proceeds by statistical analysis of the words that appear in the e-mail, comparing the frequencies of words with those found in a user-provided corpus of known spam and known legitimate e-mail. The classification algorithm is based on Bayes' formula, and is described in Paul Graham's paper, A plan for spam." ; "Has a documentation" ; "GPL" ; "http://pauillac.inria.fr/~xleroy/software.html#spamoracle" ; "Email" ; "SpamOracle" ; "Major applications" ; "1.4" . "A compilation course using Caml" ; "http://www-pu.informatik.uni-tuebingen.de/compilerbau-2001/material/" ; "Compilers" ; "Systematic Compiler Construction" ; "Courses" . "A binding for the object-oriented 3D scene library Open Inventor (tm)." ; "http://redwood.ucdavis.edu/~issac/software/" ; "3D graphics" ; "SoCaml" ; "Bindings with C libraries" ; "1.1" . " SKS is a new OpenPGP keyserver whose goal is to provide easy to deploy, decentralized, and highly reliable synchronization. That means that a key submitted to one SKS server will quickly be distributed to all key servers, and even wildly out-of-date servers, or servers that experience spotty connectivity, can fully synchronize with rest of the system." ; "Has a documentation" ; "GPL" ; "http://www.nongnu.org/sks/" ; "Cryptography" ; "SKS" ; "Scientific software" ; "1.0.7" . "A little tool for looking up entries from /etc/services." ; "Public Domain" ; "http://raevnos.pennmush.org/code/servinfo/" ; "System files" ; "Servinfo" ; "Toys - Examples" ; "1.0.0" . "A tool to verify secrecy for cryptographic protocols." ; "http://www.lsv.ens-cachan.fr/~cortier/EVA/eva-comp.php" ; "Cryptography" ; "Securify" ; "Scientific software" . "Schoca is an implementation of the Scheme language. The primary purpose of Schoca is the use as an embedded extension language in OCaml applications." ; "Has a Godi package" ; "GPL" ; "http://home.arcor.de/chr_bauer/schoca.html" ; "Compilers" ; "Schoca" ; "Scientific software" ; "0.2.3" . "Scampi (Simple CAml to MPI interface) is small library allowing Caml programs to make calls to MPI-1 communication routines. For now only a few calls are provided (basically, getting communicator size, rank and making synchronous and asynchronous send/receive of polymorphic data plus a couple of collective comm), but it is expected that subsequent versions will enlarge the set of provided bindings. This first version, however, effectivily allows building parallel Caml programs running in SPMD mode on a network of workstations for example." ; "http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/scampi.html" ; "Distributed and parallel programming" ; "SCAMPI" ; "Native OCaml libraries" ; "1.2" . "A patch, against OCaml 3.07, making it possible to: create, link against and dynamically load shared objects on i386 ELF and Win32 platforms." ; "http://www.boblycat.org/~malc/scaml/" ; "Compilers" ; "SCaml" . "Ant is not TeX. It is a typesetting system similar to TeX. The current version is written in Objective Caml." ; "Has a documentation" ; "http://ant.berlios.de" ; "Publishing" ; "Ant" ; "Major applications" ; "0.8" . "A couple of files for turning basic XML documents (channels) into an XML stream." ; "http://www.alve.com/~mattwb/saXml.html" ; "Parsers and pretty-printers" ; "saXml" ; "Native OCaml libraries" . "Exceedingly simple, lightweight, image viewer, using lablgtk2." ; "GPL" ; "http://raevnos.lethalcode.net/code/dispimg/" ; "2D graphics" ; "dispimg" ; "Toys - Examples" ; "1.0.0" . "Bindings for the GtkSpell spellchecking widget library for use with lablgtk2." ; "GPL" ; "http://raevnos.lethalcode.net/code/lablgtkspell/" ; "Graphical toolkits" ; "Lablgtkspell" ; "Bindings with C libraries" ; "1.0.0" . "Felix is an Algol like strongly typed procedural programming language with a strong purely functional subsystem, including first class functions, pattern matching, variants, recursion, and (currently only) compile time parametric polymorphism." ; "Has a documentation", "Has a tutorial" ; "Public Domain" ; "http://felix.sourceforge.net" ; "Compilers" ; "Felix" ; "Scientific software" ; "1.0.20" . "Simple design-by-contract support using camlp4." ; "Public Domain" ; "http://raevnos.pennmush.org/code/ocaml.html" ; "DBC" ; "Camlp4 extensions" ; "1.0.0" . """This little piece of code displays the internal representation of Caml values. It produces a graph as an ASCII file, in a format suitable for the `dot' tool.""" ; "http://www.lri.fr/~filliatr/ftp/ocaml/display" ; "Documentation generation" ; "display" ; "Development tools" . "Dependent ML (DML) is an experimental extension of ML with a restricted form of dependent types." ; "Has a documentation" ; "http://www.ececs.uc.edu/~hwxi/DML/DML.html" ; "Typing" ; "Dependent ML" ; "Scientific software" . "DocCHM is a CHM generator for OCamlDoc. It enable you to generate a CHM file ( Windows CompressedHTML Help file ) instead of the standard HTML output. It automaticaly generate the index and the hyperlinks to upper module, types, etc. You can then quickly browse the documentation, and search index by name." ; "GPL" ; "http://tech.motion-twin.com" ; "Documentation generation" ; "DocCHM" ; "Ocamldoc generators" . "This package provides basic interface to Linux APM driver for Objective Caml programs." ; "Has a documentation" ; "LGPL" ; "http://pauillac.inria.fr/~simonet/soft/index.en.html" ; "Hardware" ; "APM" ; "Bindings with C libraries" ; "1.00" . "An OCaml GPL software aimed to explore aspects of the dominoes game." ; "GPL" ; "https://sourceforge.net/project/showfiles.php?group_id=72934&package_id=92609" ; "DominoCaml" ; "Toys - Examples" ; "3.3" . """Dynamic Caml is a high-level run-time code generation library for Objective Caml. Implementation is based on an abstract polymorphic type 'a code and function eval : 'a code -> 'a that evaluates it. We introduce various constructors for the code type. All types within dynamically generated code are statically checked at programs compile time. """ ; "Has a documentation" ; "GPL" ; "http://oops.tepkom.ru/dml/" ; "Compilers" ; "Dynamic Caml" ; "Scientific software" ; "0.2" . "RPC is a package supporting the Sun RPC protocol. RPC programs, procedures, clients, and servers can be dynamically represented and modified. Of course, there is also a classical RPC generator which generates functions doing the language mapping from XDR values to language values and vice versa." ; "Has a Godi package" ; "http://www.ocaml-programming.de/packages/documentation/rpc" ; "Code generators", "RPC" ; "rpc" ; "Development tools", "Native OCaml libraries" ; "0.3.2" . "Remote Middleware Daemon is a high level identity management library focused on services and access control, and exposed via both xdr-rpc, and xml-rpc. It is written entirely in Objective Caml, except for the trivial xmlrpc interface, which is in perl." ; "Has a documentation" ; "http://ncc.csun.edu/opensource/rmwd/rmwd-description.html" ; "RPC", "XML protocols" ; "rmwd" ; "Others" ; "0.7" . "Library for automatically resizing contiguous memory (arrays and strings)." ; "LGPL" ; "http://ocaml.info/home/ocaml_sources.html#res" ; "Data structures" ; "RES" ; "Native OCaml libraries" ; "3.1.1" . "Regexp/OCaml provides convenient syntax sugar for regular expression match for strings using PCRE/OCaml library." ; "LGPL", "QPL" ; "http://web.yl.is.s.u-tokyo.ac.jp/~oiwa/caml/" ; "Language extensions" ; "Regexp-OCaml" ; "Camlp4 extensions" ; "0.9.3" . "A library, entirely written in OCaml, for manipulation of regular expressions and string searching." ; "Has a documentation" ; "LGPL" ; "http://www.lri.fr/~marche/regexp/" ; "Strings manipulation" ; "Regexp" ; "Native OCaml libraries" ; "0.3" . "Recursive is a tiny OCaml module that helps the programmer to manipulate cyclic structures (such as recursive types or finite automata) with maximal sharing and unique representation." ; "http://www.eleves.ens.fr:8080/home/frisch/soft#recursive" ; "Data structures" ; "Recursive" ; "Native OCaml libraries" ; "2002-08-08" . "A system for binding OCaml code with python." ; "Has a documentation" ; "http://pycaml.sourceforge.net/" ; "Languages interfaces" ; "Pycaml" ; "Bindings with C libraries" . """These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers ---little prerequiresite is actually assumed. They provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions starting from small variations on the core language to end up with the OCaml language ---one of the most popular incarnation of ML--- including its object-oriented layer.""" ; "http://cristal.inria.fr/~remy/cours/appsem/" ; "Using, Understanding, and Unraveling the OCaml Language" ; "Courses" . "Polymorphic XML parser." ; "Has a Godi package", "Has a documentation" ; "http://projects.camlcity.org/projects/pxp.html" ; "Parsers and pretty-printers" ; "PXP" ; "Native OCaml libraries" ; "1.2.1" . "Okasaki's Purely Functional Datastructures in OCaml." ; "http://ocaml.info/home/ocaml_sources.html" ; "Data structures" ; "Purely Functional Data Structures" ; "Native OCaml libraries" ; "1.0.6" . "Scientific and numerical research environment." ; "Has a documentation" ; "GPL" ; "http://psilab.sourceforge.net" ; "Maths and Logic", "Numeric computation" ; "PsiLAB" ; "Scientific software" ; "2.0" . "Un cours d'introduction à la programmation du système Unix, mettant l'accent sur la communication entre les processus." ; "http://cristal.inria.fr/~remy/poly/system/" ; "System" ; "Programmation système en OCaml" ; "Courses" . "Hints which might help you get started with OCaml-development (mostly in UNIX environment)." ; "http://www.ai.univie.ac.at/~markus/home/ocaml_hints.html" ; "Build tools", "Editor modes" ; "Practical hints for using OCaml" ; "Tutorials" . "PostgreSQL bindings for OCaml." ; "Has a Godi package" ; "http://www.eleves.ens.fr:8080/home/frisch/soft" ; "Databases" ; "Postgres" ; "Bindings with C libraries" ; "20040120" . "Library for maintaining partially ordered maps." ; "http://ocaml.info/home/ocaml_sources.html" ; "Data structures" ; "POMAP" ; "Native OCaml libraries" ; "2.9.8" . "PolyGen is a program for generating random sentences according to a grammar definition, that is following custom syntactical and lexical rules." ; "Has a documentation" ; "GPL" ; "http://polygen.org/web/Home.444.0.html" ; "Science" ; "Polygen" ; "Scientific software" ; "1.0pre" . "Cours de programmation fonctionnelle, illustré par OCaml (in french)." ; "http://www-rocq.inria.fr/~pecquet/download/teach/Licence/Programmation_Fonctionnelle/poly.pdf" ; "Programming languages" ; "Polycopié de Programmation Fonctionnelle" ; "Courses" . "A book including a library of Caml code to help the students in the implementation of interpreters for toy languages." ; "GFDL" ; "http://www.cs.jhu.edu/~scott/plbook/book/html/main.html" ; "Programming languages" ; "Programming Languages" ; "Books" ; "1.0" . """Ara is a utility for doing boolean regexp queries on the the Debian package database """ ; "http://ara.alioth.debian.org/" ; "Ara" ; "Others" ; "0.4" . "An Internet Content Adaptation Protocol filter monitor (see www.i-cap.org)." ; "Has a documentation" ; "http://www.poesia-filter.org/" ; "Servers and clients" ; "PoesiaMonIcap" ; "Scientific software" . "A simple interactive program for playing with simulations of planetary systems." ; "http://planets.homedns.org/" ; "Science" ; "Planets" ; "Scientific software" ; "0.1.12" . "PLAN is a resource-bounded functional programming language that uses a form of remote procedure call to realize active network packet programming. It is part of the SwitchWare Project." ; "Has a documentation" ; "http://www.cis.upenn.edu/~switchware/PLAN/" ; "Compilers" ; "PLAN" ; "Scientific software" ; "3.22" . "PhoX is a proof assistant based on High Order logic and it is eXtensible. One of the principle of this proof assistant is to be as user friendly as possible and so to need a minimal learning time. The current version is still expirimental but starts to be really usable. It is a good idea to try it and make comments to improve the final version." ; "Has a documentation" ; "http://www.lama.univ-savoie.fr/sitelama/Membres/pages_web/RAFFALLI/phox.html" ; "Maths and Logic" ; "Phox" ; "Scientific software" ; "0.83" . "A persistent library for Ocaml. PersiL could help you to handle persistent data in your application (data which survive the end of the program)." ; "Has a documentation" ; "LGPL" ; "http://cristal.inria.fr/~starynke/persil/" ; "Data structures" ; "Persil" ; "Native OCaml libraries" ; "0.2.1" . "Interface for calling Perl code from OCaml." ; "LGPL" ; "http://merjis.com/developers/perl4caml" ; "Languages interfaces" ; "perl4caml" ; "Libraries" ; "0.9.3" . "Solves the Pentaminos puzzle." ; "http://www.lri.fr/~filliatr/pentaminos.en.html" ; "Games" ; "Pentaminos" ; "Toys - Examples" . "Perl compatibility regular expressions for OCaml." ; "Has a Godi package" ; "LGPL" ; "http://ocaml.info/home/ocaml_sources.html" ; "Strings manipulation" ; "PCRE-OCAML" ; "Bindings with C libraries" ; "5.12.2" . "Efficient sets and maps over integers, from a paper by Chris Okasaki." ; "LGPL" ; "http://www.lri.fr/~filliatr/software.en.html" ; "Data structures" ; "Patricia trees" ; "Native OCaml libraries" . "The patch gives a record scoping rule to labels, when accessing (r.l) or modifying a field in a record (r.l <- e); there must be enough type information to know the type of the record. " ; "http://www.eleves.ens.fr/home/frisch/soft#patches" ; "Language extensions" ; "patch_record" . "Automli is a small program for O'Caml programmers which automatically generates MLI files from ML files and a specification of which functions, types etc. to export or hide." ; "GPL" ; "http://farrand.net/automli.shtml" ; "Build tools" ; "Automli" ; "Development tools" ; "0.4" . "Library for distributed computing in OCaml." ; "http://pauillac.inria.fr/~quercia/" ; "Distributed and parallel programming" ; "parallele" ; "Native OCaml libraries" . "A simple object system for OCaml, based on polymorphic variants and a Camlp4 syntax extension." ; "http://redwood.ucdavis.edu/~issac/software/" ; "Language extensions" ; "ECaml" ; "Camlp4 extensions" ; "0.3" . "An Emacs clone in Ocaml." ; "http://pauillac.inria.fr/cdrom/prog/unix/efuns/eng.htm" ; "Development environments", "X" ; "EFuns" ; "Others" . "A simple OCaml packager." ; "Has a documentation" ; "http://www.cs.cornell.edu/Info/Projects/Ensemble/mrg/doc.html" ; "Build tools" ; "Emrg" ; "Development tools" . "Lectures notes in French, which uses Objective Caml to implement a complete prototype compiler from Pascal to MIPS." ; "http://cristal.inria.fr/~remy/poly/compil/" ; "Compilers" ; "Langages et Compilation" ; "Courses" . "Lectures notes in French, which uses Objective Caml to implement a complete prototype compiler from Pascal to MIPS." ; "http://pauillac.inria.fr/~maranget/X/compil/" ; "Compilers" ; "Compilation" ; "Courses" . "The OCaml reference manual with a page containing all grammar production rules, with metasymbols as hyperlinks, pointing to their definition and all changes with respect to previous version are marked with icons or color. " ; "http://www.cs.ru.nl/~tews/htmlman-3.10" ; "Enhanced Ocaml Documentation" ; "Documentations" ; "3.10" . "A group communication toolkit." ; "Has a documentation" ; "Other/Proprietary License" ; "http://www.cs.cornell.edu/Info/Projects/Ensemble" ; "Communications and networking" ; "Ensemble" ; "Native OCaml libraries" ; "2.00" . "A distributed audio application designed to exchange high-quality audio data bewteen users on local area networks." ; "Has a documentation" ; "GPL" ; "http://www.cs.caltech.edu/~jyh/ejb/index.html" ; "Audio", "P2P" ; "Ensemble Juke Box" ; "Others" ; "0.9" . "A data structures library." ; "Has a documentation" ; "LGPL" ; "http://www.edite-de-paris.com.fr/~fpons/Caml/Baire/index_en.html" ; "Data structures" ; "Baire" ; "Native OCaml libraries" ; "0.0.0" . "The ethread library has modules for read/write locks, barriers, and a simple thread-safe message queue that interacts with Unix.select so a thread can wait for I/O or a message at the same time." ; "Has a documentation" ; "LGPL" ; "http://raevnos.pennmush.org/code/ethread/" ; "Distributed and parallel programming", "File systems and system administration" ; "Ethread" ; "Native OCaml libraries" ; "1.0.1" . "Some exercices for students that learn Caml as a first programming language (in French)." ; "http://www-spi.lip6.fr/~queinnec/Teaching/caml/tdcaml.html" ; "Exercices en Caml" ; "Exercices" . "Two small modules that implement extended synchronisations for O'Caml threads." ; "http://www.linux-france.org/~dmentre/code/" ; "Distributed and parallel programming" ; "Extended thread synchronisations" ; "Native OCaml libraries" . "ExtLib is a project aiming at providing a complete - yet small - standard library for the OCaml programming langage. The purpose of this library is to add new functions to OCaml Standard Library modules, to modify some functions in order to get better performances or more safety (tail-recursive) but also to provide new modules which should be useful for the average OCaml programmer." ; "Has a Godi package", "Has a documentation" ; "LGPL" ; "http://code.google.com/p/ocaml-extlib/" ; "General purpose libraries" ; "Extlib" ; "Native OCaml libraries" ; "1.5.2" . "THis library contains a lot of the routines the author find needing all the time that aren't in the standard library (Especially string searching and manipulation), and some other odds and ends that are useful at times. Highlights include wildcard globbing, lots of string searching and manipulation routines, locale support, ~user-style path expansion, and more." ; "Has a Godi package", "Has a documentation" ; "LGPL" ; "http://raevnos.pennmush.org/code/annexlib/index.html" ; "General purpose libraries" ; "Annexlib" ; "Native OCaml libraries" ; "0.13.0" . "A library for constraint programming on finite domains." ; "Has a Godi package", "Has a documentation" ; "LGPL" ; "http://www.recherche.enac.fr/opti/facile/" ; "Constraint programming" ; "FaCiLe" ; "Scientific software" ; "1.1" . "A foreign function interface package for Objective CAML. It reads C header files and generates a mix of C code and ocaml external declarations." ; "http://ocamlffi.sourceforge.net/" ; "Languages interfaces" ; "FFI" ; "Development tools" ; "1.2.2" . "An interface to the FFTW library." ; "Has a documentation" ; "http://www.umh.ac.be/math/an/software.php" ; "Numeric computation" ; "FFTW" ; "Bindings with C libraries" . "Equeue is a library that offers general purpose event queues and event queues for system events." ; "Has a Godi package", "Has a documentation" ; "MIT/X11" ; "http://www.ocaml-programming.de/packages/" ; "System" ; "equeue" ; "Native OCaml libraries" ; "2.0" . "This toolkit offers a few fundamental structures useful for computational linguistics. It is implemented in Pidgin ML, which is a core subset of the Objective Caml programming language under the so-called revised syntax." ; "Has a documentation" ; "http://sanskrit.inria.fr/huet/ZEN/index.html" ; "Linguistics", "Natural language" ; "Zen" ; "Native OCaml libraries" ; "2.2" . "FFTW-GEL is an architecture-specific version of FFTW." ; "Open Source" ; "http://www.complang.tuwien.ac.at/skral/fftwgel.html" ; "Numeric computation" ; "FFTW-GEL" ; "Bindings with C libraries" ; "1.2.1" . "CGI script that browses packages managed by findlib." ; "Has a Godi package" ; "MIT/X11" ; "http://www.ocaml-programming.de/programming/download-caml.html" ; "Build tools" ; "findlib-browser" ; "Development tools" ; "0.1.1" . "A prototype implementation of an information flow analyzer for the Caml language." ; "Has a documentation", "Has a tutorial" ; "QPL" ; "http://cristal.inria.fr/~simonet/soft/flowcaml/" ; "Program analysis", "Typing" ; "Flow Caml" ; "Scientific software" ; "1.03" . "A program for generating language bindings based on C header files. " ; "http://jhenrikson.org/forklift/" ; "Languages interfaces" ; "Forklift" ; "Development tools" ; "pre-alpha" . "FORT (Framework for Ocaml Regression Testing) provides an environment for testing programs and Objective Caml modules." ; "zlib/libpng License" ; "http://sourceforge.net/projects/fort" ; "Testing" ; "FORT" ; "Development tools" ; "0.4.1" . "An extension of OCaml with facilities for correctly manipulating object-language syntax involving alpha-convertible names and binding operations." ; "Has a documentation" ; "QPL" ; "http://www.freshml.org/foc/" ; "Compilers" ; "Fresh Objective Caml" ; "Scientific software" ; "3.06-6" . "A C library providing communication facilities implementing the client side of FTP. It comes with Objective Caml bindings." ; "http://christophe.deleuze.free.fr/D/ftplib.html" ; "FTP" ; "FTPlib" ; "Bindings with C libraries" . "Yamlpp is a very simple HTML preprocessor inspired by Nicolas Thiery's htmlpp. " ; "GPL" ; "http://www.lri.fr/~filliatr/yamlpp.en.html" ; "Build tools" ; "Yet another markup language preprocessor" ; "Others" . "Galax is an open-source implementation of XQuery 1.0, the W3C XML Query Language. Galax closely tracks the definition of XQuery 1.0 as specified by the W3C and also implements XPath 2.0, which is a subset of XQuery 1.0." ; "Has a documentation", "Has a tutorial" ; "Lucent Public License" ; "http://www.galaxquery.org/" ; "Databases", "WWW/HTTP", "XML" ; "Galax" ; "Native OCaml libraries" ; "0.5.0" . "An OCaml interface to the GD graphics library, which is an ANSI C library for the dynamic creation of images. GD creates PNG and JPEG images, among other formats" ; "LGPL" ; "http://gd4o.sourceforge.net/" ; "2D graphics" ; "GD4O" ; "Bindings with C libraries" ; "0.7" . "A C and Objective Caml library to apply XSLT stylesheets to gdome2 documents." ; "GPL" ; "http://helm.cs.unibo.it/software/gdome_xslt/" ; "XML" ; "gdome2-xslt" ; "Bindings with C libraries" ; "0.0.6" . "A genealogy software with a Web interface. It can be used off-line or as a Web service." ; "Has a documentation" ; "GPL" ; "http://pauillac.inria.fr/~ddr/GeneWeb" ; "WWW/HTTP" ; "Geneweb" ; "Major applications" ; "4.09" . "A tool allowing to handle easily euclidian geometry." ; "GPL" ; "https://gna.org/projects/geocaml/" ; "Maths and Logic" ; "GeOCaml" ; "Others" ; "0.1" . "Parsing of command line arguments (à la GNU GetOpt) for OCaml." ; "Has a Godi package" ; "http://www.eleves.ens.fr/home/frisch/soft#Getopt" ; "Command line" ; "Getopt" ; "Native OCaml libraries" ; "2000-08-04" . "A program (similar to Surf) to draw surfaces from their implicit equations." ; "Has a documentation" ; "LGPL" ; "http://www.lama.univ-savoie.fr/~raffalli/glsurf.html" ; "3D graphics", "Maths and Logic" ; "GlSurf" ; "Applications written in Caml" ; "2.0" . "A binding to gdome2, the GNU DOM Level 2 implementation." ; "LGPL" ; "http://sourceforge.net/projects/gmetadom/" ; "XML" ; "gmetadom" ; "Bindings with C libraries" ; "0.2" . "A graphical frontend for GMP Go engines, written in ocaml." ; "GPL" ; "http://www.nobugs.org/developer/gocaml/index.html" ; "Gocaml" ; "Others" ; "1.0" . "The xstrp4 extension of the camlp4 preprocessor adds the well-known $identifier expansions to Caml." ; "MIT/X11" ; "http://www.ocaml-programming.de/programming/download-caml.html" ; "Language extensions" ; "xstrp4" ; "Camlp4 extensions" ; "1.6" . """GODI bundles the Ocaml compiler with a large list of add-on packages, and serves as a development platform for Ocaml applications. GODI makes it very easy to install open source libraries for all kinds of development areas on your computer. It is intended as a daily toolkit for developers who are mainly interested that the libraries can be pulled into their own projects effortlessly, and do not want to spend half of their life for figuring out how to configure and build software they haven't written themselves. """ ; "http://godi.camlcity.org" ; "Build tools" ; "GODI" ; "Development tools" ; "3.12.1" . "A collection datastructure. Unordered insertion, uniformly random removal." ; "GPL" ; "http://thelackthereof.org/wiki.pl/OCaml_GrabBag" ; "Data structures" ; "GrabBag" ; "Native OCaml libraries" . "GraphPS is an Objective Caml module that allows generating PostScript graphic. Its interface is almost identical to that of the Graphics module of the distribution, so that it is easy to switch." ; "Has a documentation" ; "LGPL" ; "http://pauillac.inria.fr/graphps/" ; "2D graphics", "Publishing" ; "GraphPS" ; "Native OCaml libraries" ; "1.0" . "An experimental window-manager written in Objective Caml. Configuration is done by dynamically loading Objective Caml bytecode modules." ; "http://pauillac.inria.fr/cdrom/prog/unix/efuns/eng.htm" ; "X" ; "GwML" ; "Others" . """CamlBZ2 provides OCaml bindings for libbzip2, a popular compression library which typically compresses better (i.e., smaller resulting files) than gzip. Using CamlBZ2 you can read and write compressed \"files\", where files can be anything offering an in_channel/out_channel abstraction (files, sockets, ...). Also, with CamlBZ2 you can compress and decompress strings in memory using the bzip2 compression algorithm.""" ; "LGPL" ; "http://camlbz2.forge.ocamlcore.org/" ; "Compression" ; "CamlBZ2" ; "Bindings with C libraries" ; "0.6.0" . "A simple and lightweight tool for managing headers in source code files." ; "Has a Godi package", "Has a documentation" ; "LGPL" ; "http://pauillac.inria.fr/~simonet/soft/" ; "Software development" ; "headache" ; "Development tools" ; "1.03" . "Heaps, imperative and functional implementations." ; "LGPL" ; "http://www.lri.fr/~filliatr/software.en.html" ; "Data structures" ; "heap" ; "Native OCaml libraries" . "Syntactic sugar for text producing applications." ; "Has a Godi package" ; "http://www.eleves.ens.fr/home/frisch/soft#HereDoc" ; "Publishing" ; "HereDoc" ; "Camlp4 extensions" ; "2000-12-20" . "A strategy/arcade games written in OCaml and C (SDL)." ; "http://www.rashitoul.net/" ; "2D graphics" ; "Battle For Rashitoul" ; "Others" . "A quite complete and fast LATEX to HTML translator written in Objective Caml." ; "Has a Godi package", "Has a documentation", "Has a tutorial" ; "QPL" ; "http://hevea.inria.fr/" ; "Publishing" ; "Hevea" ; "Major applications" ; "1.09" . "Hlins is a tool to insert hypertext links into HTML documents, using a database with entries of the form \"name = url\"." ; "Has a documentation" ; "GPL" ; "http://www.lsv.ens-cachan.fr/~treinen/hlins/" ; "(X)HTML" ; "Hlins" ; "Others" ; "0.39" . "HOL Light is a computer program to help users prove interesting mathematical theorems completely formally in higher order logic. It sets a very exacting standard of correctness, but provides a number of automated tools and pre-proved mathematical theorems (e.g. about arithmetic, basic set theory and real analysis) to save the user work. It is also fully programmable, so users can extend it with new theorems and inference rules without compromising its soundness." ; "Has a documentation", "Has a tutorial" ; "Public Domain" ; "http://www.cl.cam.ac.uk/users/jrh/hol-light/" ; "Maths and Logic" ; "HOL-light" ; "Scientific software" ; "2.20" . "htmlc is used to produce regular HTML pages from source files that contain text fragments that require some computation to be written. Those text fragments can be for instance the last modification date of a page, or parts of HTML pages that must be systematically included in all the pages of an entire WEB site." ; "Has a documentation" ; "http://htmlc.inria.fr/" ; "(X)HTML", "Publishing" ; "htmlc" ; "Others" ; "2.21" . "A generic library for browsing trees using hyperbolic geometry." ; "http://pauillac.inria.fr/~miquel/index-eng.html" ; "2D graphics" ; "Htree" ; "Native OCaml libraries" ; "1.0" . "A general-purpose language for probabilistic modeling, parameter estimation and decision making." ; "Has a documentation", "Has a tutorial" ; "http://www.eecs.harvard.edu/~avi/IBAL/" ; "Maths and Logic", "Numeric computation" ; "IBAL" ; "Scientific software" . "A game server for board games such as chess, go, checkers, and nine nens morris." ; "http://chesslib.sourceforge.net/ibgs.html" ; "Communications and networking" ; "IBGS" ; "Others" ; "0.2" . "Dockapp support ala WindowMaker/AfterStep for IceWM, TWM, MWM, Sawfish, KWin, ..." ; "http://www.boblycat.org/~malc/code/" ; "IceDock" ; "Others" ; "0.4" . "Improvements of the pa_macro CamlP4 syntax extension" ; "http://cvs.metaprl.org:12000/cvsweb/metaprl/util/pa_macro.ml?only_with_tag%3Docaml_3_07" ; "Language extensions" ; "pa_macro" ; "Camlp4 extensions" . "Lectures notes of a course given at Ecole Polytechnique to introduce Objective Caml." ; "http://cristal.inria.fr/~remy/poly/ocaml/" ; "Initiation au langage OCaml" ; "Courses" . "BDBFS is a portable, user-level NFS fileserver implemented in OCaml. BDBFS stands for Berkeley DataBase File System: it stores files, metadata (directories, inodes, the superblock) as key:value pairs using the Berkeley Database (Berkeley DB) library." ; "GPL" ; "http://www.eecs.harvard.edu/~stein/bdbfs/" ; "Databases", "File systems and system administration" ; "BDBFS" ; "Native OCaml libraries" ; "0.3" . "Lecture notes" ; "http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/index.html" ; "Introduction to Functional Programming" ; "Courses" . "An introduction both to basic concepts and techniques of functional programming, and to its theoretical foundation." ; "http://www.dia.uniroma3.it/~lambda/libro/" ; "Introduzione alla programmazione funzionale" ; "Books" . "IoXML allows defining XML parsers and pretty-printers directly from data type definitions." ; "LGPL" ; "http://pauillac.inria.fr/~ddr/IoXML/index.html" ; "Code generators", "Lexing and parsing", "XML" ; "IoXML" ; "Camlp4 extensions" ; "0.6" . "An OCaml library for the XMPP (better known as Jabber) instant messaging system." ; "http://mikelin.mit.edu/xmpp/jabbr/" ; "Chat" ; "Jabbr" ; "Native OCaml libraries" . "A port of the Objective Caml bytecode interpreter to Java." ; "http://www.ocaml-programming.de/javacaml/manual/" ; "JavaCaml" . "JoCaml is Objective Caml plus (&) the join calculus, that is, OCaml extended for concurrent and distributed programming." ; "Has a documentation" ; "QPL" ; "http://jocaml.inria.fr/" ; "Communications and networking", "Distributed and parallel programming" ; "JoCaml" ; "Scientific software" ; "3.10.0" . """Katmake is an GNU automake-like utility for the OCAML language. It is designed for generating Makefile for OCAML language. You give it a `Makefile.am' describing the project as input and it produces a Makefile. This Makefile is able to build all the project, to perform or to remove the installation, to build the distribution and to remove temporaries files.""" ; "Has a documentation" ; "GPL" ; "http://casse.hugues.free.fr/projects/katmake.html" ; "Build tools" ; "Katmake" ; "Development tools" ; "0.7" . "A collection of utils to manipulate files following some UNIX convention." ; "http://www.carva.org/sylvain.le-gall/ocaml-fileutils.html" ; "File systems and system administration" ; "FileUtils" ; "Native OCaml libraries" ; "0.4.0" . "Bibgrep indexes and searches BibTex files for entries matching a given query. Its usage is similar to the command ``grep'' and the queries uses a Google-like syntax." ; "GPL" ; "http://sourceforge.net/projects/bibgrep" ; "Publishing" ; "Bibgrep" ; "Others" ; "0.51" . "An Objective Caml interface to OpenGL." ; "Has a Godi package" ; "http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgl.html" ; "3D graphics" ; "LablGL" ; "Bindings with C libraries" ; "1.03" . "A GLUT 3.7 binding, bundled with a Tk-independent modification of LablGL." ; "http://redwood.ucdavis.edu/~issac/software/" ; "3D graphics" ; "lablglut" ; "Bindings with C libraries" ; "1.3" . "An Objective Caml interface to gtk, providing a strongly typed, yet very comfortable, object-oriented interface to gtk+." ; "Has a Godi package" ; "http://lablgtk.forge.ocamlcore.org/" ; "Graphical toolkits" ; "LablGTK" ; "Bindings with C libraries" ; "1.2.7" . "A lablgtk binding to GtkMathView, a Gtk widget to render MathML 2.0 documents." ; "http://www.cs.unibo.it/helm/mml-widget/index.html" ; "Graphical toolkits", "XML" ; "lablgtkmathview" ; "Bindings with C libraries" ; "0.4.1" . """This OCaml-library interfaces the BLAS-library (Basic Linear Algebra Subroutines) and LAPACK-library (Linear Algebra routines), which are written in FORTRAN.""" ; "LGPL" ; "http://ocaml.info/home/ocaml_sources.html" ; "Numeric computation" ; "LACAML" ; "Bindings with Fortran libraries" ; "3.0.27" . "A practical, detailed tutorial for people who already know an imperative or OO-language and wish to learn OCaml." ; "http://www.ocaml-tutorial.org/" ; "Learning OCaml, for C, C++, Perl and Java programmers" ; "Tutorials" . "Liberator is the unix guru's cli to the Freenet network, inserting and requesting easily and efficiently." ; "GPL", "LGPL" ; "http://sourceforge.net/projects/liberator/" ; "Communications and networking" ; "Liber(ator)" ; "Others" ; "2.0.2" . """Machine Learning Library, a library containing structures and algorithms, simply usable from most of common languages.""" ; "GPL" ; "http://libml.org" ; "General purpose libraries" ; "Libml" ; "Native OCaml libraries" ; "alpha" . "An extension with camlp4 that allows one to use lightweight records in OCaml." ; "http://www.ens-lyon.fr/~noury/lw_records.tgz" ; "Data structures", "Language extensions" ; "Lightweight records" ; "Camlp4 extensions" . "bibtex2html is a collection of tools for translating from BibTeX to HTML. They allow to produce, from a set of bibliography files in BibTeX format, a bibliography in HTML format." ; "Has a documentation" ; "GPL" ; "http://www.lri.fr/~filliatr/bibtex2html/" ; "Publishing" ; "Bibtex2html" ; "Major applications" ; "0.69" . "A theorem prover for Multiplicative Linear Logics based on PROOF NETS Construction." ; "GPL" ; "http://www.loria.fr/~notin/LINK/" ; "Maths and Logic" ; "Link" ; "Others" . """A message catalog system for localising text in OCaml programs. The approach taken is partly inspired by Perl's Locale::Maketext module. In an attempt to provide the flexibility needed to adapt sentence structure and morphology to numeric parameters in messages, the library uses a general-purpose template engine, CamlTemplate as a language for writing message templates.""" ; "Has a documentation" ; "GPL" ; "http://saucecode.org/localcaml/" ; "User interfaces" ; "LocalCaml" ; "Native OCaml libraries" ; "0.2.0" . "A system written in Caml and Maple to perform average-case complexity analysis of algorithms." ; "Has a documentation" ; "http://algo.inria.fr/libraries/libraries.html#luo" ; "Numeric computation" ; "Luo" ; "Native OCaml libraries" ; "2.1" . "An Objective Caml library implementing part of the SMTP protocol." ; "Has a documentation" ; "http://www.linux-nantes.org/~fmonnier/OCaml/smtp-mail/" ; "Email" ; "mail-smtp" ; "Native OCaml libraries" ; "0.1.3" . "A small tool that may help to convert a Maple code to MuPad." ; "GPL" ; "http://www-rocq.inria.fr/~thomasse/Maple-MuPad/" ; "Maple-MuPad" ; "Others" . "Mathlib is a collection of hopefully-useful functions for working with floats, Complex numbers, and random numbers. It has the basic math functions added to the C99, trigonometric functions for complex numbers, the Mersenne Twister random number generator, and modules for generating random numbers in a variety of distributions." ; "Has a documentation" ; "LGPL" ; "http://raevnos.pennmush.org/code/ocaml.html" ; "Numeric computation" ; "Mathlib" ; "Native OCaml libraries" ; "0.11.0" . "A GUI frontend for interactive graphing of functions. It also has a program to generate PostScript output." ; "Has a documentation" ; "http://www.chez.com/prigaux/mathplot.html" ; "2D graphics", "Numeric computation" ; "Mathplot" ; "Others" ; "0.8.4" . "A compiled, type-safe, multi-stage programming language." ; "http://cs-www.cs.yale.edu/homes/taha/MetaOCaml/" ; "MetaOCaml" ; "Scientific software" ; "20020614" . "The MetaPRL system combines the properties of an interactive LCF-style tactic-based proof assistant, a logical framework, a logical programming environment, and a formal methods programming toolkit." ; "Has a documentation", "Has a tutorial" ; "GPL" ; "http://metaprl.org/" ; "Maths and Logic" ; "MetaPRL" ; "Scientific software" . "Bindlib is a library and a camlp4 syntax extension for the OCaml language. It proposes a set of tools to manage data structures with bound and free variables. It includes fast substitution and management of variables names including renaming." ; "Has a documentation" ; "http://www.lama.univ-savoie.fr/~raffalli/bindlib.html" ; "Data structures" ; "Bindlib" ; "Camlp4 extensions", "Native OCaml libraries" ; "3.0" . "A library to produce PostScript documents." ; "Has a documentation" ; "LGPL" ; "http://www.eleves.ens.fr:8080/home/george/info/prg/postscript.html" ; "2D graphics", "Publishing" ; "ML-Postscript" ; "Native OCaml libraries" . "Automatic documentation extraction for Objective Caml." ; "Has a documentation" ; "http://www.lifl.fr/~boulet/softs.html" ; "Documentation generation" ; "MLDoc" ; "Development tools" ; "1.2" . "A linux client developed in Objective Caml for several peer-to-peer file sharing networks." ; "Has a documentation" ; "GPL" ; "http://savannah.gnu.org/projects/mldonkey/" ; "P2P" ; "MLDonkey" ; "Major applications" ; "2.00" . "An OCaml binding for the Fuse (File System in User Space) library." ; "http://www-connex.lip6.fr/~binsztok/files.php" ; "File systems and system administration" ; "Mlfuse" ; "Bindings with C libraries" . "An extended precision computation library (integers, rationals, floats) in OCaml." ; "LGPL" ; "http://www-verimag.imag.fr/~monniaux/programmes.html.en" ; "Numeric computation" ; "MLGMP" ; "Bindings with C libraries" ; "0.13" . "An Objective Caml library to produce PostScript images." ; "Has a documentation" ; "http://www.pps.jussieu.fr/~cousinea/MLgraph/mlgraph.html" ; "2D graphics", "Publishing" ; "MLGraph" ; "Native OCaml libraries" . "BioCaml aims to be a library of useful functions for bioinformatics, written in the Objective Caml (OCaml) language." ; "http://www.biocaml.org/" ; "Biology" ; "BioCaml" ; "Native OCaml libraries" . "Libpcap bindings for OCaml." ; "http://www.drugphish.ch/~jonny/mlpcap.html" ; "Communications and networking" ; "MLpcap" ; "Bindings with C libraries" ; "0.9" . "A set of OCaml bindings for the Apache API, allowing you to run CGI scripts written in OCaml directly inside the Apache webserver." ; "Has a documentation" ; "LGPL" ; "http://www.merjis.com/developers/mod_caml/" ; "CGI" ; "mod_ocaml" ; "Bindings with C libraries", "Others" ; "1.3.4" . "A multi-language compiler supporting safe process migration and transactions for programs written in C, Caml, Java, and Pascal." ; "http://mojave.caltech.edu/index.html" ; "Compilers" ; "Mojave compiler" ; "Scientific software" ; "0.5.3" . "A library containing functions to read or write mp3 tags." ; "Has a documentation" ; "LGPL" ; "http://www.maxence-g.net/Tools/mp3tag/" ; "Audio" ; "Mp3tag" ; "Native OCaml libraries", "Toys - Examples" ; "1.0" . "NAB is a network simulator targeted at wireless ad hoc and sensor networks." ; "Has a documentation", "Has a tutorial" ; "http://nab.epfl.ch/" ; "Communications and networking" ; "NAB (Network in A Box)" ; "Scientific software" ; "0.6" . "Compile and run native functions from the toplevel." ; "http://redwood.ucdavis.edu/~issac/software/" ; "Development environments" ; "Nativize" ; "Development tools" ; "0.1" . "Experimental client for HTTP/1.1 and telnet." ; "Has a Godi package" ; "http://www.ocaml-programming.de/programming/netclient.html" ; "WWW/HTTP" ; "netclient" ; "Native OCaml libraries" ; "0.91" . "nML is a higher-order and typed programming language, and a dialect / harmony of Standard ML and Objective Caml. The nML compiler system drives the static analysis technologies to the limit, and it will embody the results of the LET project." ; "http://ropas.kaist.ac.kr/n/" ; "Compilers" ; "nML" ; "Scientific software" ; "0.92b" . "Numerix is a library implementing arbitrary long signed integers and the usual arithmetic operations between these numbers." ; "Has a documentation" ; "http://pauillac.inria.fr/~quercia/" ; "Numeric computation" ; "Numerix" ; "Bindings with C libraries" ; "0.22" . "Bindings for ORBit2, the CORBA ORB of the GNOME project. There is a IDL compiler that maps CORBA types to OCaml types, and a runtime library that does the necessary conversions." ; "http://oandrieu.nerim.net/ocaml/" ; "Bindings for ORBit2" ; "Bindings with C libraries" ; "0.1.0" . "A bit vectors library." ; "Has a documentation" ; "LGPL" ; "http://www.lri.fr/~filliatr/software.en.html" ; "Data structures" ; "Bitv" ; "Native OCaml libraries" ; "0.5" . "A portable compiler that translates Oberon-2 into bytecode." ; "http://spivey.oriel.ox.ac.uk/mike/obc/" ; "Compilers" ; "Oxford Oberon-2 Compiler" ; "Scientific software" ; "2.0p5" . "OX is an XML integration into Objective-Caml, providing XML transducers based on pseudo-tree view. This gives a homogeneous view of XML within OCaml code, and lets users to manipulate such terms like any other ones, without constraint." ; "Has a tutorial" ; "http://d.plaindoux.free.fr/" ; "Parsers and pretty-printers" ; "OX" ; "Camlp4 extensions" ; "0.1" . "A module redefining common operations and raising an exception in case of overflow." ; "http://perso.wanadoo.fr/sebastien.ailleret/caml/" ; "Numeric computation" ; "Overflow" ; "Native OCaml libraries" . "Unit test framework for ocaml. It is based on HUnit, a unit testing framework for Haskell." ; "Has a Godi package" ; "MIT/X11" ; "http://ounit.forge.ocamlcore.org/" ; "Testing" ; "OUnit" ; "Development tools", "Native OCaml libraries" ; "1.1.0" . "An Emacs tag generator for Ocaml source files, working also with syntaxes extended with Camlp4." ; "http://askra.de/otags/" ; "Editor modes" ; "Otags" ; "Development tools" ; "3.11.1" . "Osiris is very-easy-to-use GUI (graphical user interface) system for OCaml. It's built on top of the OCaml Win32 native API binding and enable the creation and control of most of the standard user interface components." ; "http://tech.motion-twin.com/osiris" ; "Graphical toolkits" ; "Osiris" ; "Bindings with C libraries" . "A Camlp4 syntax extension to locally open a module in an expression." ; "http://www.eleves.ens.fr:8080/home/frisch/soft#openin" ; "Language extensions" ; "openin" ; "Camlp4 extensions" ; "2002-02-05" . "OOowrite lets you write OpenOffice or StarOffice .sxw files from OCaml programs." ; "LGPL" ; "http://www.merjis.com/developers/ooowrite/" ; "XML protocols" ; "OOoWrite" ; "Native OCaml libraries" ; "0.2.0" . "Symbolic Parameterized Polyhedral Calculator." ; "http://www.lifl.fr/west/sppoc/" ; "Maths and Logic" ; "SPPoC" ; "Native OCaml libraries" ; "1.2.1" . "A web server able to execute caml applets to generate dynamic pages." ; "Has a documentation" ; "GPL" ; "http://camlserv.sf.net/" ; "CGI", "Servers and clients" ; "Camlserv" ; "Others" ; "0.2-2" . "Bookmark translator and pretty printer." ; "Has a documentation" ; "http://www.lifl.fr/~boulet/softs.html" ; "Publishing" ; "Bmktrans" ; "Others" ; "3.0" . "A collection of various utilities for OCaml." ; "Has a Godi package" ; "GPL" ; "http://quux.org/devel/missinglib" ; "General purpose libraries" ; "Missinglib" ; "Native OCaml libraries" ; "0.4.1" . "One-line editor written in OCaml. It provides line editing for the Caml toplevels, as well as other interactive Unix commands." ; "Has a Godi package" ; "http://pauillac.inria.fr/~ddr/ledit/" ; "Development environments" ; "ledit" ; "Others" ; "2.02" . "a dynamically typed functional language whose syntax conforms closely to that of OCaml. In addition, it supports overloaded, vectorized, math operations, list comprehensions, and optional and keyword arguments in uncurried argument tuples, possibly with specified default values. It can access OLE compliant, and low-level COM interfaces, supports serial I/O and socket based communication, and provides an ADO connection to external databases. An Emacs mode is supported through a hacked Tuareg interface, as well as a Tcl/Tk interactive browser and interaction window with list pane access to a user modifiable documentation database." ; "http://home.mindspring.com/~dmcclain1/nmlpromo.htm" ; "Compilers", "Maths and Logic" ; "NML" ; "Scientific software" . "Password generator will return a password of configurable length. It can add special characters, digits, and capital letters to the password as well. The password is more human readable than a completely random secure password. The number of digits, special characters and capital letters is also configurable. " ; "http://www.csun.edu/~aey47116/passwdgen-0.1.tar.gz" ; "Cryptography" ; "passwdgen" ; "Native OCaml libraries" ; "0.1" . "An Objective Caml interface to gtk+ 2.x." ; "Has a Godi package" ; "http://lablgtk.forge.ocamlcore.org/" ; "Graphical toolkits" ; "LablGTK2" ; "Bindings with C libraries" ; "2.14.2" . "A wiki in OCaml." ; "GPL" ; "http://sandbox.merjis.com/" ; "WWW/HTTP" ; "Cocanwiki" ; "Others" ; "1.3.11" . "Micmatch is a syntax extension of the pattern matching constructs of OCaml for matching and extracting substrings with regular expressions. Micmatch tries to stay as close as possible to the spirit of OCaml. Named regular expressions can be defined. They use the syntax of ocamllex with some additions. This extension is for Camlp5." ; "Has a tutorial" ; "BSD" ; "http://martin.jambon.free.fr/micmatch.html" ; "Strings manipulation" ; "Micmatch" ; "Camlp4 extensions" ; "1.0.0" . """An extension to the signature language of ocaml. The patch is for ocaml-3.08.0 and provides some operations on signatures. It is still at an experimental state but mostly working.""" ; "www.pfitzenmaier.de/sigcalc.html" ; "Typing" ; "Calculating with Signatures" ; "Patch" . "A course on Computational Linguistics, using Caml." ; "http://www.msu.edu/course/lin/475/" ; "Linguistics", "Programming languages" ; "Introduction to Computational Linguistics" ; "Courses" . "mlOscar is an OCaml library that facilitates the encoding/decoding of the AOL OSCAR protocol. Networking functionality is available to enable access to the AIM network." ; "http://www.cgorski.org/mloscar/" ; "Chat" ; "mlOscar" ; "Native OCaml libraries" ; "0.9.0" . "A lexer/parser for turning files tagged for the British National Corpus into something usefully symbolically manipulated in OCaml." ; "Apache" ; "http://amaranth.homelinux.org/ocaml/BNC/" ; "Lexing and parsing" ; "BNC" ; "Native OCaml libraries" ; "0.0.1" . "An implementation of Tetris using threads, Events and the Graphics module." ; "http://abaababa.ouvaton.org/caml/" ; "Games" ; "mltetris" ; "Others" ; "20040716" . "A logger module for Objective Caml." ; "LGPL" ; "http://www.wingnet.net/~jesse/ocaml/logger/" ; "Strings manipulation" ; "Logger module" ; "Native OCaml libraries" . "It's a 3D voxel-based first-person game inspired by Loderunner, with a simple level editor." ; "http://www.cs.ubc.ca/~rbridson/spiff/index.html" ; "3D graphics", "Games" ; "Spaceman Spiff in Escape from Zorg" ; "Others" . "An Environment Interaction module for Objective Caml. It's useful if you need to create a local copy of the current environment for modification." ; "LGPL" ; "http://www.wingnet.net/~jesse/ocaml/env/index.html" ; "System programming" ; "Env" ; "Native OCaml libraries" ; "2004-09-02" . "A mutable, circular, doubly linked list library." ; "LGPL" ; "http://www.wingnet.net/~jesse/ocaml/dllist/index.html" ; "Data structures" ; "Dllist" ; "Native OCaml libraries" ; "2004-08-27" . "A wrapper for the Objective Caml Hashtbl module that uses a Linked List to preserve the order in which the hash elements are added. It's similar in purpose to the Tie::IxHash module for Perl." ; "LGPL" ; "http://www.wingnet.net/~jesse/ocaml/linkedhashtbl/index.html" ; "Data structures" ; "LinkedHashtbl" ; "Native OCaml libraries" ; "2004-08-27" . "A group of plugins to add OCaml support in the Eclipse IDE. It provides very basic support for creating OCaml projects, editing source files, building and running." ; "CPL (Common Public License)" ; "http://eclipsefp.sf.net/ocaml" ; "Development environments" ; "Camlclipse" ; "Development tools" ; "0.1" . "OMake is a build system designed especially for large projects. It uses a syntax similar to make utilies you may have used, but with enhancements." ; "Has a Godi package", "Has a documentation" ; "GPL" ; "http://omake.metaprl.org/" ; "Build tools" ; "OMake" ; "Development tools" ; "0.9.8.5" . "manipulate, and generate valid .class files.Sawja is a library relying on Javalib to provide a high level representation of Java bytecode programs. Its name stands for Static Analysis Workshop for Java. Whereas Javalib is dedicated to isolated classes, Sawja handles bytecode programs with their class hierarchy and control flow algorithms. Moreover, Sawja provides some stackless intermediate representations of code. The transformation algorithm, common to these representations, has been formalized and proved to be semantics-preserving.An Eclipse plugin for Sawja analyses is also available: it allows developers to add an analysis in Eclipse without requiring any additional Java code generation." ; "Has a documentation", "Has a tutorial" ; "GPL" ; "http://sawja.inria.fr" ; "Lexing and parsing", "Program analysis" ; "JavaLib and Sawja" ; "Native OCaml libraries" ; "2.2.1/1.3" . "A functional programming library for for direct-mode BSP (Bulk Synchronous Parallel) algorithms. " ; "Has a documentation" ; "http://f.loulergue.free.fr/research/bsmllib/bsmllib-0.25.html" ; "BSMLlib" ; "Native OCaml libraries" ; "0.25" . """The demexp project is a free software project (GNU GPL) that aims at making the software needed to start the democratic experience project. The democratic experience is a large scale project of direct democracy. It aims at providing the tools to facilitate the expression of all citizens, to transform this expression into decisions, and to apply this decision. """ ; "Has a documentation" ; "GPL" ; "http://www.demexp.org/" ; "Servers and clients" ; "Demexp" ; "Applications written in Caml" ; "0.6.0" . "A new API that uses higher-order functions and types to simplify the use of an embedded interpreter." ; "http://www.cminusminus.org/rsync/dist/" ; "Compilers" ; "Lua-ml" ; "Native OCaml libraries" . "A tutorial on how to use GTK+ 2.0 GtkTreeView widget in Ocaml language." ; "http://plus.kaist.ac.kr/~shoh/ocaml/lablgtk2/treeview-tutorial/" ; "Graphical toolkits" ; "LablGTK2 Tree View Tutorial" ; "Tutorials" . "http://compiler.kaist.ac.kr/~shoh/ocaml/lablgtk2/lablgtk2-tutorial/" ; "Graphical toolkits" ; "LablGTK2 Tutorial" ; "Tutorials" . "A LablGTK2 wrapper for Scintilla source code editing widget." ; "LGPL" ; "http://oops.tepkom.ru/~msk/software.scilabl.html" ; "Graphical toolkits" ; "SciLabl" ; "Bindings with C libraries" ; "pre-alpha" . "Binding for wxWidgets." ; "http://wxocaml.sourceforge.net/" ; "Graphical toolkits" ; "wxocaml" ; "Bindings with C libraries" . """FoCaLize is an integrated development environment to write high integrity programs and systems. It provides a purely functional language to formally express specifications, describe the design and code the algorithms. Within the functional language, FoCaLize provides a logical framework to express the properties of the code. A simple declarative language provides the natural expression of proofs of those properties from within the program source code.""" ; "Has a documentation" ; "http://focalize.inria.fr/" ; "Maths and Logic", "Programming languages" ; "Focalize" ; "Development tools", "Scientific software" ; "0.6.0" . "A library to help writing distributed programs. The library manages all the details relevant to process launching, channel creation, and network communication so as to let the programmer stick to the core of the problem. This allows to write programs that can be distributed on several machines in a concise way, with all the parallel aspects kept implicit (no synchronisation). " ; "Has a tutorial" ; "LGPL" ; "http://home.gna.org/amble/" ; "Distributed and parallel programming" ; "Amble" ; "Native OCaml libraries" ; "0.1" . "A pure OCaml library for performing calculations based on the Gregorian calendar." ; "LGPL" ; "http://www.merjis.com/developers/gregorian_date" ; "Date and time" ; "Gregorian Date" ; "Native OCaml libraries" ; "1.0.0" . "Thread-safe implementation of string searching/matching/splitting." ; "http://projects.camlcity.org/projects/xstr.html" ; "Strings manipulation" ; "xstr" ; "Native OCaml libraries" ; "0.2.1" . """Xara allows to do boolean regexp searches on the Debian package database in a LablGTK2 GUI.""" ; "http://ara.alioth.debian.org/" ; "File systems and system administration" ; "Xara" ; "Others" ; "1.0" . "A high-level interface to the Grace 2D plotting application. It makes extensive use of OCaml's labeled optional arguments, making the most common plotting operations quick and easy." ; "Has a tutorial" ; "http://pessimization.com/software/mlgrace/" ; "2D graphics", "Maths and Logic" ; "Mlgrace" ; "Native OCaml libraries" ; "0.1.0" . "ANSITerminal is a module allowing to use the colors and cursor movements on ANSI terminals. It also works on the windows shell (but this part is currently work in progress)." ; "Has a Godi package" ; "https://forge.ocamlcore.org/projects/ansiterminal/" ; "Text interfaces" ; "AnsiTerminal" ; "Native OCaml libraries" ; "0.5" . "A small threaded line printer daemon whose primary goal was to enable the use of a windows-only printer, it should be easily modifiable for other purposes. A small module of pervasive-like functions for sockets on all platforms (including win9x) is bundled together." ; "http://math.umh.ac.be/an/software.php#x4-80007" ; "TCP/IP" ; "lpd and Socket" ; "Native OCaml libraries", "Others" ; "0.8" . """This library allows one to save configuration parameters (basic types, lists, user defined, etc.) into a file and load them. The configuration file is human readable, structured and allow (* *) comments.""" ; "GPL" ; "http://config-file.forge.ocamlcore.org/" ; "Lexing and parsing" ; "Config_file" ; "Native OCaml libraries" ; "1.0" . "GikiWiki is a minimalist wiki in OCaml." ; "GPL" ; "http://wiki.woozle.org/GikiWiki" ; "Publishing" ; "GikiWiki" ; "Web application" . """Camlusb is an Ocaml binding to libusb. Libusb is a portable library to access USB devices in user space, available for various operating systems. """ ; "http://camlusb.sourceforge.net" ; "Hardware" ; "Camlusb" ; "Bindings with C libraries" ; "1.0b" . "Caml for Scintilla is a free source and binary package which adds syntax coloring for the Objective Caml language to the multi-platform (Win32 and GTK+) Scintilla editing component and SciTE text editor." ; "BSD" ; "http://www.rftp.com/Downloads.shtml" ; "Editor modes", "Graphical toolkits" ; "LablScintilla" ; "Bindings with C libraries" ; "0.9pre1" . "A small framebuffer graphics library for O'Caml and X." ; "http://users.utu.fi/sajuma/" ; "2D graphics", "Games" ; "O'Caml X Game library" ; "Others" . "XSPP stands for XSLT Stylesheet PreProcessor. It can be used to simplify writing XSLT stylesheets. It is result of author being terrified by xsl:call-template size." ; "Has a documentation" ; "http://www.kernel.pl/~malekith/xspp/" ; "XML specific languages" ; "XSPP" ; "Others" ; "0.0.3" . "O'Jacare is a code generator to help in interoperability between Java and O'Caml through their object model. O'Jacare defines a simple IDL for Java's classes and interfaces descriptions. For communications from Java to O'Caml it owns a callback mechanism. So, you can easily override in O'Caml a method defined in Java. The implementation is based an each language low-level interfaces with C (JNI for Java and external for O'Caml) and uses an extended version of the camljava library. O'Jacare generates all needed wrapper classes and enables static typechecking in both world." ; "Has a documentation" ; "http://www.pps.jussieu.fr/~henry/ojacare/" ; "Languages interfaces" ; "O'Jacare" ; "Development tools" . "An OCAML implementation of John Backus' FP system." ; "Has a documentation" ; "GPL" ; "http://christophe.deleuze.free.fr/D/fp.html" ; "Programming languages" ; "oc-FP" ; "Scientific software" . "Ocalibs is a collection of libraries for the ocaml programming language, designed to make windows game development easier. It will support DirectX for graphics and ODE for physics." ; "BSD" ; "http://sourceforge.net/projects/ocalibs/" ; "2D graphics", "Audio", "Games" ; "ocalibs" ; "Bindings with C libraries" . """OCam'OLE is an OLE binding for OCaml. It enable you to control remote COM objects with OCaml and is provided with OLEGen, a program that generate ML/MLI static type interface from the OLE Type Libraries. """ ; "GPL" ; "http://tech.motion-twin.com/ocamole" ; "Corba/COM" ; "OCam'OLE" ; "Bindings with C libraries" ; "1.0" . "An automatic compiler for the OCaml language (has special features for integration under MS Visual Studio)." ; "Has a documentation" ; "LGPL" ; "http://tech.motion-twin.com/ocamake" ; "Build tools" ; "OCamake" ; "Development tools" . "A CWEB like literate programming tool. It is designed to target all languages and actually has a version targeting the MATLAB language. " ; "Has a documentation" ; "http://ocamaweb.sourceforge.net/" ; "Documentation generation" ; "Ocamaweb" ; "Development tools" ; "6.01" . "OCamIL is an experimental OCAML compiler that targets Microsoft .NET." ; "http://www.pps.jussieu.fr/~montela/ocamil/" ; "Compilers" ; "OCamIL" ; "Scientific software" . "Introduction into OCaml, with exercises." ; "http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf" ; "OCaml book" ; "Courses" . "Smart-indent macros and syntax hilighting for OCaml code with NEdit." ; "http://floating.caltech.edu/~n8gray/code/index.html" ; "Editor modes" ; "OCaml mode for NEdit" ; "Development tools" . "An implementation of the XML-RPC protocol." ; "LGPL" ; "http://raevnos.pennmush.org/code/ocaml-xml-rpc/" ; "RPC", "XML protocols" ; "OCaml XML-RPC" ; "Native OCaml libraries" ; "0.2.3" . """ This package implements the XPath recommendation; XPath is a simple query language for XML. A compact XPath expression can perform a relatively complex search on the document tree. XPath is used by XLink and XSLT. The package is modularized and functorial: the evaluator is a functor taking as argument an implementation of the XPath Data Model as defined in the recommendation. The package include a lightweight implementation, build from the Pxp document tree. A future version will include a Data Model implementation working directly on this document tree. """ ; "LGPL" ; "http://www.eleves.ens.fr/home/frisch/soft#xpath" ; "XML protocols" ; "Xpath" ; "Native OCaml libraries" ; "2000-09-04" . "A small module to benchmark running times of code. It supersedes an earlier version by Doug Bagley. " ; "LGPL" ; "http://ocaml-benchmark.sourceforge.net/" ; "Testing" ; "OCaml-Benchmark" ; "Native OCaml libraries" ; "0.6" . "CamlGI is a library to enable you to write CGI and FastCGI in OCaml. It is written 100% in OCaml so should run on many platforms. The library supports multiple simultaneous connections and request multiplexing while presenting an easy to use interface." ; "LGPL" ; "http://sourceforge.net/projects/ocaml-cgi/" ; "CGI" ; "CamlGI" ; "Native OCaml libraries" . "A small library of wrappers around standard library classes, to allow a somehow object-oriented use." ; "http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/classes/" ; "General purpose libraries" ; "ocaml-classes" ; "Native OCaml libraries" ; "3.05" . """Ocaml bindings for the libevent API. The libevent API provides a mechanism to execute a callback function when a specific event occurs on a file descriptor or after a timeout has been reached. Furthermore, libevent also support callbacks due to signals or regular timeouts.""" ; "http://www.xs4all.nl/~mmzeeman/ocaml/" ; "System programming" ; "OCaml-event" ; "Bindings with C libraries" ; "0.5.0" . """OCaml-FreeTDS is a binding to the ct-lib component of the FreeTDS library, to access Sybase and Microsoft (or other TDS) database servers. """ ; "http://math.umons.ac.be/an/en/software/#freetds" ; "Databases" ; "OCaml-FreeTDS" ; "Bindings with C libraries" ; "0.2" . "Bindings to GLPK (GNU Linear Programming Kit) which is a package intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. " ; "GPL" ; "http://ocaml-glpk.sourceforge.net/" ; "Numeric computation" ; "ocaml-glpk" ; "Bindings with C libraries" ; "0.1.3" . "A library inspired from perl's HTTP::Daemon that permits to write simple HTTP daemons in OCaml." ; "Has a Godi package", "Has a tutorial" ; "GPL" ; "http://ocaml-http.forge.ocamlcore.org/" ; "Servers and clients" ; "OCaml-HTTP" ; "Native OCaml libraries" ; "0.1.4-3" . "OCaml bindings for the LIRC (Linux Infrared Remote Control) library." ; "GPL" ; "http://perso.ens-lyon.fr/damien.pous/shared/ocaml/lirc/" ; "Hardware" ; "OCaml-Lirc" ; "Bindings with C libraries" ; "0.1.0" . "Bindings for the mad library which provides functions for encoding wave audio files into mp3." ; "http://savonet.sourceforge.net/" ; "Audio" ; "ocaml-mad" ; "Bindings with C libraries" ; "0.2.1" . "Ocaml-MinGW-Maxi is binary distribution for OCaml port for Windows based on the MinGW toolchain. It contains the OCaml compiler and some precompiled add-on libraries." ; "http://ibgs.christoph-bauer.net/~fridolin/omm/" ; "Development environments" ; "Ocaml-MinGW-Maxi" ; "Development tools" ; "3.10.0" . """XmlRPCServer is a server side implementation for the XmlRPC package developed by Shawn Wagner. This package provides methods to transform between OCaml data-types and their XmlRPC representation, and visa versa. In addition it provide the client side functionality which enables OCaml clients to call servers written in other languages using XmlRPC. However the current version of the package does not support writing the server side in OCaml, unless you do most of the work yourself. """ ; "Has a documentation" ; "GPL", "LGPL" ; "http://www.simula.no/~hans/ocaml/xmlrpc/" ; "XML protocols" ; "XmlRPCServer" ; "Native OCaml libraries" ; "0.1.0" . "A package for Objective Caml that provides access to MySQL databases." ; "Has a Godi package" ; "LGPL" ; "http://raevnos.pennmush.org/code/ocaml-mysql/" ; "Databases" ; "OCaml-MySQL" ; "Bindings with C libraries" ; "1.0.3" . "A patch against OCaml 3.00. It implements a proposal for a tiny extension of the OCaml module system, allowing optional value fields in module types. This is similar to optional arguments." ; "http://www.eleves.ens.fr:8080/home/frisch/soft" ; "Compilers" ; "ocaml-option" ; "Patch" ; "2001-01-04" . "Packrat parser generator for OCaml." ; "http://www.imada.sdu.dk/~bardur/personal/programs/ocaml-packrat/" ; "Lexing and parsing" ; "OCaml-Packrat" ; "Native OCaml libraries" ; "0.5.1" . """Bindings for the shout library which provides functions for sending mp3 / ogg data to icecast 2 servers which are used to create streamed web-radios. """ ; "http://savonet.sourceforge.net/wiki/OCamlLibs" ; "Audio" ; "ocaml-shout" ; "Bindings with C libraries" ; "0.2.2" . "A library which can be used to build web services using SOAP." ; "http://caml.inria.fr/ocaml-soap/" ; "XML protocols" ; "OCaml-SOAP" ; "Native OCaml libraries" ; "0.2" . "Bindings for accessing Sqlite databases from ocaml programs." ; "MIT/X11" ; "http://neugierig.org/software/ocaml/sqlite/" ; "Databases" ; "Ocaml-Sqlite" ; "Bindings with C libraries" ; "0.3.5" . "OCaml bindings for libssl to secure connections by using ssl encryption in your sockets." ; "Has a Godi package" ; "http://savonet.rastageeks.org/browser/trunk" ; "Cryptography" ; "OCaml-SSL" ; "Bindings with C libraries" ; "0.4.0" . "A small OCaml library providing functions to parse and print TODO lists in XML files." ; "GPL" ; "http://home.gna.org/ocamltdl/" ; "XML formats" ; "OCaml-TDL" ; "Native OCaml libraries" ; "0.4" . "ocaml-xmlr provides bindings for libxml's xmlreader." ; "LGPL" ; "http://neugierig.org/software/ocaml/xmlr/" ; "Parsers and pretty-printers" ; "OCaml-xmlr" ; "Bindings with C libraries" ; "1.0" . "Bindings for the ogg/vorbis library which provides functions for encoding, decoding and reading tags of ogg/vorbis files." ; "http://sourceforge.net/projects/savonet/files/" ; "Audio" ; "ocaml-vorbis" ; "Bindings with C libraries" ; "0.5.0" . "OCaml-Win32 is a set of OCaml wrappers for the Win32 API. You can use this library to write true Win32 GUI applications in OCaml. A small sample application is provided." ; "LGPL" ; "http://www.speakeasy.org/~hchomsky/ocaml-win32.html" ; "General purpose libraries", "Graphical toolkits" ; "OCaml-Win32" ; "Bindings with C libraries" ; "1.0" . "OCaml syntax file for the VIM-editor." ; "http://www.ai.univie.ac.at/~markus/home/ocaml_sources.html" ; "Editor modes" ; "ocaml.vim" ; "Development tools" . "Implements the Wu-Manber algorithm for string searching with errors (like in agrep)." ; "http://cristal.inria.fr/~xleroy/software.html#agrep" ; "Strings manipulation" ; "OCamlAgrep" ; "Native OCaml libraries" ; "1.0" . "A Berkeley DB wrapper for OCaml." ; "http://osdn.org.ua/~yrashk/ocamlbdb-0.0.1.tar.gz" ; "Databases" ; "OCamlBDB" ; "Bindings with C libraries" ; "0.0.1" . "Generate a dynamic-programming ocaml code from a pattern matching specification." ; "Has a documentation" ; "http://www.cminusminus.org/tools.html" ; "Code generators" ; "OCamlBurg" ; "Development tools" . "OCaml with caml light syntax." ; "ftp://ftp.inria.fr/INRIA/Projects/cristal/Daniel.de_Rauglaudre/ocamlcl/" ; "Language extensions" ; "Ocamlcl" ; "Camlp4 extensions" ; "0.3" . "Ocamlconf is like autoconf but much simpler, utterly ocaml-centric, and dependent on findlib." ; "Has a documentation" ; "http://kenn.frap.net/ocamlconf/" ; "Build tools" ; "OcamlConf" ; "Development tools" ; "0.8" . "LDAP bindings for ocaml." ; "Has a Godi package" ; "http://ocamldap.sourceforge.net/" ; "Databases" ; "ocamldap" ; "Native OCaml libraries" ; "2.1.5" . "xmllexer is an XML lexer for Camlp4. It is composed of one OCaml file (in revised syntax). xmllexer.ml is derived from the default lexer of Camlp4: plexer.ml (written by Daniel de Rauglaudre)." ; "http://www.macs.hw.ac.uk/~mm20/xmllexer/" ; "Parsers and pretty-printers" ; "Xmllexer" ; "Camlp4 extensions" ; "20021121" . "This is an early release of a DBMS driver for Objective Caml. There is a generic interface that must be instantiated with a so-called low level driver. Currently, there is only a driver for the Adabas DBMS." ; "http://www.ocaml-programming.de/packages/documentation/ocamldb/" ; "Databases" ; "OCamlDB" ; "Native OCaml libraries" ; "0.2" . "A database independent layer patterned upon Perl DBI." ; "LGPL" ; "http://savannah.nongnu.org/download/modcaml/" ; "Databases" ; "OCamlDBI" ; "Bindings with PERL libraries" ; "0.9.11" . "Defunctorizer for OCaml." ; "Has a documentation" ; "http://www.lri.fr/~signoles/ocamldefun/index.en.html" ; "Compilers" ; "ocamldefun" ; "Development tools" ; "1.11" . """A simple-minded, O(N^2), floating-point, 2D Delaunay triangulator without constraints.""" ; "http://redwood.ucdavis.edu/~issac/software/" ; "Maths and Logic" ; "ocamldelaunay" ; "Scientific software" ; "1.1" . "A Doom-style 3D graphics engine for action games. " ; "http://pauillac.inria.fr/~pessaux/creations_fr.html" ; "3D graphics", "Games" ; "OcamlDoom" ; "Others" . "Generation of program dependency graphs for OCaml programs, using dot." ; "http://www.research.att.com/~trevor/ocamldot/index.html" ; "Documentation generation" ; "ocamldot" ; "Development tools" . "A tiny command line tool to sort .ml files according to their dependencies, in order to link the corresponding .cmo files." ; "Has a Godi package" ; "http://dimitri.mutu.net/ocaml.html" ; "Build tools" ; "ocamldsort" ; "Development tools" ; "0.14.3" . "A web site with collaborative publication of OCaml-related articles, Q&As, examples, ..." ; "http://www.connettivo.net/" ; "Programming languages" ; "OCamlearn" ; "Tutorials" . "Annotate uncaught exception stack traces in a readable and editor-friendly way." ; "http://www.cminusminus.org/tools.html" ; "Development environments" ; "OCamlError" ; "Development tools" . "A static analyzer of spurious exceptions of OCaml programs." ; "Has a documentation" ; "http://caml.inria.fr/ocamlexc/ocamlexc.htm" ; "Program analysis" ; "OCamlexc" ; "Development tools" . """XML Light is a minimal XML parser & printer for OCaml. It provide functions to parse an XML document into an OCaml data structure, work with it, and print it back to an XML document. Since version 2, XML Light add also support for DTD and PCDATA.""" ; "http://tech.motion-twin.com/xmllight" ; "Parsers and pretty-printers" ; "XML Light" ; "Native OCaml libraries" ; "2" . "An ocaml wrapper for the Expat XML parsing library." ; "Has a Godi package" ; "http://www.xs4all.nl/~mmzeeman/ocaml" ; "Parsers and pretty-printers" ; "OCamlExpat" ; "Bindings with C libraries" ; "0.9.1" . "Multithreaded binding to the fuse api." ; "GPL" ; "http://ocamlfuse.sourceforge.net/" ; "File systems and system administration" ; "OCamlfuse" ; "Bindings with C libraries" . "GNU gettext binding for OCaml." ; """http://osdn.org.ua/~yrashk/ocamlgettext-0.0.1.tar.gz """ ; "Internationalization" ; "OCamlGettext" ; "Bindings with C libraries" ; "0.0.1" . "A graph library. Provides several graph data structures and several graph algorithms. Algorithms are written independently of the graph data structure (using functors)." ; "Has a Godi package" ; "LGPL" ; "http://ocamlgraph.lri.fr/" ; "Data structures" ; "ocamlgraph" ; "Native OCaml libraries" ; "1.3" . "A wrapper for GSL, the GNU Scientific Library." ; "http://oandrieu.nerim.net/ocaml/gsl/" ; "Numeric computation" ; "ocamlgsl" ; "Bindings with C libraries" ; "0.4.0" . "A just in time translator of Ocaml bytecode into machine code (on x86, and perhaps sparcv9 & PowerPC in 32 bits mode)." ; "Has a documentation" ; "http://cristal.inria.fr/~starynke/ocamljit.html" ; "Compilers" ; "OCamlJitRun" ; "Scientific software" ; "1.5" . "This is a tutorial on how to use ocamllex." ; "http://pllab.kaist.ac.kr/~shoh/ocaml/ocamllex-ocamlyacc/ocamllex-tutorial/index.html" ; "Lexing and parsing" ; "OCamllex tutorial" ; "Tutorials" ; "2004-11-10" . "Automated compilation of complex OCAML-projects." ; "Has a Godi package", "Has a documentation" ; "LGPL" ; "http://ocaml.info/home/ocaml_sources.html" ; "Build tools" ; "OCamlMakefile" ; "Development tools" ; "6.27.0" . "A tool to distribute pieces of OCaml code in a way similar to apt-get." ; "Has a documentation", "Has a tutorial" ; "GPL" ; "http://pauillac.inria.fr/~guesdon/camlget.en.html" ; "Software development" ; "caml-get" ; "Development tools" ; "0.7" . "XHTML is a O'Caml module for creating valid XHTML 1.1 (and XHTML 1.0) documents. The validity of the pages is guaranteed by the O'Caml type system. (NB: at the time of writing, forms support was not complete, only basic forms are implemented. Image maps are also not implemented yet.)" ; "GPL" ; "http://theorie.physik.uni-wuerzburg.de/~ohl/xhtml/" ; "Parsers and pretty-printers" ; "Xhtml" ; "Native OCaml libraries" . "An OCaml/Matlab interface." ; "http://www-rocq.inria.fr/who/Maurice.Bremond/" ; "Maths and Logic", "Numeric computation" ; "OCamlmex" ; "Bindings with C libraries" . "An interface to the MPI message-passing library." ; "http://cristal.inria.fr/~xleroy/software.html#ocamlmpi" ; "Distributed and parallel programming" ; "OCamlMPI" ; "Bindings with C libraries" . "A collection of modules for the Objective Caml language which focus on application-level Internet protocols and conventions." ; "Has a Godi package", "Has a documentation" ; "zlib/libpng License" ; "http://projects.camlcity.org/projects/ocamlnet.html" ; "CGI", "Date and time", "Email", "Servers and clients", "TCP/IP" ; "OCamlnet" ; "Native OCaml libraries" ; "3.4" . "Acces to databases through ODBC drivers." ; "Has a Godi package", "Has a documentation" ; "LGPL" ; "http://ocamlodbc.forge.ocamlcore.org/" ; "Databases" ; "OCamlODBC" ; "Bindings with C libraries" ; "2.15" . "An OCaml interface to the GNU libplot library." ; "LGPL" ; "http://ocamlplot.sourceforge.net" ; "Maths and Logic" ; "Ocamlplot" ; "Bindings with C libraries" ; "0.5.6" . "An interface to the PVM message-passing library. " ; "http://www.recherche.enac.fr/opti/software" ; "Distributed and parallel programming" ; "OCamlPVM" ; "Bindings with C libraries" . "OCaml interface to the Simple DirectMedia Layer library. SDL is used for example by 3D games under Linux." ; "Has a Godi package" ; "LGPL" ; "http://ocamlsdl.sf.net/" ; "2D graphics", "3D graphics", "Audio" ; "OCamlSDL" ; "Bindings with C libraries" ; "0.7.2" . "A wrapper for a Spread group communication toolkit, which provides a high performance messaging service that is resilient to faults across external or internal networks." ; "http://ocamlspread.sourceforge.net/" ; "Distributed and parallel programming" ; "OCamlSpread" ; "Bindings with C libraries" ; "0.0.1" . "A program to count the lines of code and documentation in ocaml sources." ; "http://www.lri.fr/~filliatr/software.en.html" ; "Documentation generation" ; "ocamlwc" ; "Development tools" . " XDuce (\"transduce\") is a typed programming language that is specifically designed for processing XML data. One can read an XML document as an XDuce value, extract information from it or convert it to another format, and write out the result value as an XML document. Since XDuce is statically typed, XDuce programs never yield run-time type errors and the resulting XML documents always conform specified types." ; "Has a documentation" ; "http://xduce.sourceforge.net/" ; "XML specific languages" ; "XDuce" ; "Scientific software" ; "0.4.0" . "A literate programming tool for Objective Caml. " ; "Has a Godi package", "Has a documentation" ; "LGPL" ; "http://www.lri.fr/~filliatr/ocamlweb" ; "Documentation generation" ; "Ocamlweb" ; "Development tools" ; "1.0" . "Extension of the OCamlwin tool to add edition facilities, and more." ; "http://dorm.tunkeymicket.com/OCamlWinPlus/Release/" ; "Development environments" ; "OCamlWinPlus" ; "Development tools" ; "1.9.2" . "This is a tutorial on how to use ocamlyacc." ; "http://pllab.kaist.ac.kr/~shoh/ocaml/ocamllex-ocamlyacc/ocamlyacc-tutorial/index.html" ; "Build tools", "Lexing and parsing" ; "OCamlyacc tutorial" ; "Tutorials" ; "2004-11-16" . """Ochra is a syntax extension for OCaml, extending the language with explicit support for programming using an Object-Oriented Reference Attributed Grammar (RAG) formalism.""" ; "Has a documentation" ; "LGPL" ; "http://www.guldheden.com/~sandin/ochra/" ; "Language extensions" ; "Ochra" ; "Camlp4 extensions" ; "0.1" . "OCI8 bindings for OCaml." ; "LGPL" ; "http://oci8ml.sourceforge.net" ; "Databases" ; "OCI8 bindings" ; "Bindings with C libraries" ; "0.0.4" . "A minimal lisp interpreter, for educational purposes." ; "http://www.nobugs.org/developer/oclisp/index.html" ; "Interpreters" ; "oclisp" ; "Scientific software" ; "0.5" . """An OCaml binding for the libcurl multi-protocol file transfer library.""" ; "Has a Godi package" ; "MIT/X11" ; "http://sourceforge.net/projects/ocurl/" ; "Communications and networking" ; "Ocurl" ; "Bindings with C libraries" ; "0.2.0" . "ODLL is creating a Win32 DLL from an OCaml library, and automatically generating the C stubs needed to interface the OCaml code and the C code and the .H interface. Simply run ODLL with you CMA/CMXA and one or several CMI interfaces and ODLL will do the job for you." ; "http://tech.motion-twin.com/" ; "Build tools" ; "ODLL" ; "Development tools" . "A generator which performs some controls on the collected information. For example: all values are commented, all types are commented, all exceptions have a version tag, ... All the possible controls are turned on/off with command line options." ; "LGPL" ; "http://www.maxence-g.net/odoc_generators/" ; "Documentation generation" ; "odoc_check" ; "Ocamldoc generators" . "Generation of html documentation with frames." ; "LGPL" ; "http://www.maxence-g.net/odoc_generators/" ; "Documentation generation" ; "odoc_fhtml" ; "Ocamldoc generators" . "The Application System Xcaml (AS/Xcaml) is a full-featured web-application architecture based on Xcaml, a web-oriented syntax extension of the Objective Caml language." ; "GPL" ; "http://xcaml.sourceforge.net/" ; "Servers and clients" ; "Xcaml" ; "Others" ; "1.0" . "An OCamldoc generator which can be used to analyze OCaml files and use @todo tags to generate a TODO list." ; "LGPL" ; "http://home.gna.org/ocamltdl/" ; "Documentation generation" ; "odoc_tdl" ; "Ocamldoc generators" . "OCaml Genetic Programming Framework." ; "http://thelackthereof.org/wiki.pl/OGPF" ; "Data structures" ; "OGPF" ; "Native OCaml libraries" . "A small library to demonstrate monadic programming in OCaml." ; "http://sange.fi/~atehwa/" ; "Data structures" ; "omlib" ; "Native OCaml libraries" . "Orpie is a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators, but data entry has been optimized for efficiency on a PC keyboard. Features include extensive scientific calculator functionality, command completion, and a visible interactive stack." ; "http://pessimization.com/software/orpie/" ; "Maths and Logic" ; "Orpie" ; "Scientific software" ; "1.5.1" . """This course is designed for beginners, and does not require any knowledge in programming at all. Anyone aged over 12 should be able to complete the course on his own, and thus learn the fundamentals of programming. For the time being, it is only available in french, but it will be translated into english later on. """ ; "http://www.france-ioi.org/cours_caml/index.php" ; "Programming languages" ; "Interactive course on OCaml (french)" ; "Courses" . """Tywith is an OCaml camlp4 parser extension which derives functions from type definitions. It's currently capable of generating 'string_of_', 'map_', and 'fold_' functions for alias and variant types containing tuples and other types with the appropriate functions defined. Tywith special-cases built-in types such as list, int, and string to provide or use the appropriate functions.""" ; "Has a documentation" ; "http://www.seedwiki.com/wiki/shifting_focus/tywith" ; "Language extensions" ; "Tywith" ; "Camlp4 extensions" ; "0.3" . "OMLet provides a much better indentation for Caml/OCaml files than the official one. It mostly behaves as tuareg-mode for emacs does. Omlet supports most of the language features, including objects." ; "http://www.vim.org/scripts/script.php?script_id=1196" ; "Editor modes" ; "OMLet" ; "Development tools" ; "0.10" . "A copy-on-write NFS daemon for use with the XenoServers project. It's a general purpose userspace NFS daemon with the ability to dynamically stack file hierarchies over each other. Different layers can be configured as writable or as read-only, and in the latter case changes are made to a writable overlay in a copy-on-write fashion." ; "Has a documentation" ; "http://www.russross.com/CoWNFS.html" ; "File systems and system administration" ; "CoWNFS" ; "Others" . """A simple but efficient compiler from a tiny ML subset to the SPARC assembly language.""" ; "http://min-caml.sourceforge.net/min-caml.tar.gz" ; "Compilers" ; "Min-caml" ; "Development tools" . """A little OCaml program to generate random 2D mazes, render them using OpenGL and generate PostScript output.""" ; "http://www.ffconsultancy.com/free/maze/" ; "2D graphics" ; "2D maze generator" ; "Toys - Examples" . """A game engine to help creating more games more easily. The engine is written mainly in Ocaml with some XML and LUA.""" ; "Has a documentation" ; "GPL" ; "http://williamkramps.rashitoul.net/pocengine" ; "2D graphics", "Audio", "Games" ; "Pocengine" ; "Bindings with C libraries", "Native OCaml libraries" ; "0.2.0" . "A tool which throws away doublettes of mails (comparing body-contents). It reads from stdin and writes to stdout." ; "http://me.in-berlin.de/~first/software/tools/mboxcleaner/" ; "Email" ; "mbox-cleaner" ; "Others" ; "1.0.0" . "cfind (Content FINDer) is a UNIX tool that provides functionality similar to that of Google Desktop from the command line." ; "GPL" ; "http://cfind.sourceforge.net/" ; "File systems and system administration" ; "cfind" ; "Others" ; "0.0.0" . "Des transparents de présentation d'OCaml, ses points forts, ses domaines de prédilection, ..." ; "http://www.linux-france.org/~dmentre/gulliver/presentations/expose-ocaml-2005-04-07/" ; "Programming languages" ; "OCaml presentation slides (in french)" ; "Slides" . " Ocaml-ast-analyze should provide an abstraction of the structure required to build pr_*.cmo module for camlp4. The idea is to provide a simple way to build Ocaml abstract syntax tree analyzer. This should be particularly useful for string extraction of Ocaml source code." ; "http://le-gall.net/sylvain+violaine/ocaml-ast-analyze.html" ; "Language extensions", "Program analysis" ; "OCaml-ast-analyze" ; "Camlp4 extensions", "Native OCaml libraries" ; "0.1.1" . """OCaml-gettext provides enough service to build a basic internationalized program. It comes with a pure Ocaml implementation, based on Camomile, a binding to GNU gettext library, and ocaml-gettext, a tool to extract strings from Ocaml source. """ ; "http://le-gall.net/sylvain+violaine/ocaml-gettext.html" ; "Internationalization" ; "OCaml-gettext" ; "Bindings with C libraries", "Development tools" ; "0.3.3" . """A dynamic geometry software using the Gtk toolkit. Large use of the DrawingArea widget.""" ; "Has a documentation" ; "GPL" ; "http://home.gna.org/geocaml/" ; "2D graphics", "Maths and Logic" ; "DrGeocaml" ; "Scientific software" ; "2004-05-07" . """ Savonet is a set of open-source developments around audio stream generation (ogg/mp3/...), and particularly web-radios using Icecast. It is written in OCaml. The heart, liquidsoap, is a very powerful and flexible streaming language, abstracting over format, protocol, stream generation, manipulation and output. Allowing arbitrarily deep-nested composition of streams and easy extensibility, it gives you more power than you need for creating an original web-radio. But liquidsoap is still very light and easy to use, in the Unix tradition of many simple strong components working together. """ ; "Has a documentation" ; "GPL" ; "http://savonet.sourceforge.net/" ; "Audio", "Communications and networking" ; "Liquidsoap" ; "Applications written in Caml" ; "0.9.2-2" . "An individual initiative to provide additional documentation for Camlp4." ; "http://martin.jambon.free.fr/extend-ocaml-syntax.html" ; "Language extensions" ; "How to customize the syntax of OCaml, using Camlp4" ; "Tutorials" . "A little ray tracer in OCaml to test its viability for the shootout." ; "http://www.ffconsultancy.com/free/ray_tracer/" ; "3D graphics" ; "Mini ray tracer" ; "Toys - Examples" . """The name is a short hand for \"put files to directories (sorted) by name structure\". It takes filenames, maps each char of the filename into a char, representing the charclass of it (a..z and A..Z -> \"l\" (letter), 0...9 -> \"d\" (digit\" and so on). This yields to an easy way of sorting files by names, based upon file-naming with certain filenaming-conventions. """ ; "http://me.in-berlin.de/~first/software/tools/pftdbns/" ; "File systems and system administration" ; "pftdbns" ; "Others" ; "0.4" . "Bantam is a new lightweight file manager for POSIX systems (\"Unix-like\" systems, including Linux) with X11. It is not for everyone, but is intended to be highly productive for people who know their way around the file system and are comfortable with keyboard commands." ; "http://matt.gushee.net/software/bantam/" ; "File systems and system administration", "X" ; "Bantam" ; "Others" ; "0.1" . """OPath is a physically based renderer written in Objective-Caml, currently it implements a variety of spectral BSDFs and several rendering algorithms including distribution ray tracing, path tracing and 'Instant Global Illumination'. It can render reasonably high polygon meshes and exclusively uses area light sources (currently only spheres).""" ; "MIT/X11" ; "http://opath.sourceforge.net/index.html" ; "3D graphics" ; "OPath" ; "Scientific software" ; "0.2" . """Mana is a Japanese input engine, which converts phonetic representation to proper written forms. Mana models Japanese language as a HMM (Hidden Markovian Model), and its output is quite natural even for a long sentence. In addition to Japanese, mana can be used for Chinese once we have a necessary data.""" ; "GPL" ; "http://sourceforge.jp/projects/shinji/" ; "Linguistics" ; "Mana" ; "Scientific software" ; "0.0.2" . """A web-indexing script using FastCGI and OCaml. The script supports file icons, thumbnailing with ImageMagick, piles, multiple icon sizes, multiple sorts, and cookies for user preferences.""" ; "Has a documentation" ; "http://capricorn.dnsalias.org/mike/index/" ; "CGI" ; "Indexy" ; "Web application" ; "0.8" . "SimpleSOAP is an early, experimental SOAP client for Objective CAML." ; "Has a documentation" ; "GPL" ; "http://merjis.com/developers/simplesoap" ; "Code generators", "XML protocols" ; "SimpleSOAP" ; "Development tools", "Native OCaml libraries" ; "0.1.1" . """This library can read and write CSV files, including all extensions used by Excel - eg. quotes, newlines, 8 bit characters in fields, \"0 etc. The library comes with a handy command line tool called csvtool for handling CSV files from shell scripts.""" ; "LGPL" ; "https://forge.ocamlcore.org/projects/csv/" ; "Data structures" ; "OCaml CSV" ; "Native OCaml libraries" ; "1.2.2" . " Saffire is a static analysis program that detects bugs in programs that use the OCaml/C foreign function interface. Saffire works by performing type inference across both OCaml and C to make sure that values are used consistently across the language boundary. For instance, if a OCaml passes a record to a C function, that C function should not treat the data as an integer. Saffire also tracks what C variables point into the OCaml heap and ensure they are always registered with CAMLparam/local before any allocation functions are called." ; "Has a documentation" ; "BSD" ; "http://www.cs.umd.edu/~furr/saffire/" ; "Languages interfaces", "Typing" ; "Saffire" ; "Development tools" . "An application that produces LaTeX2e code from caml (OCaml, Caml light) source files." ; "GPL" ; "http://meunier.pe.free.fr/caml2tex.php" ; "Documentation generation" ; "Caml2tex" ; "Development tools" . "AlphaCaml is a tool that turns a so-called ``binding specification'' into an Objective Caml compilation unit. This helps writers of interpreters, compilers, or other programs-that-manipulate-programs deal with alpha-conversion in a safe and concise style." ; "Has a Godi package", "Has a documentation" ; "http://cristal.inria.fr/~fpottier/alphaCaml/" ; "Code generators", "Program analysis" ; "AlphaCaml" ; "Development tools" . """This is a proper version of a SOAP client for OCaml, which uses CDuce (http://www.cduce.org/) to parse WSDL + XML Schema interface descriptions, turning them into SOAP client stubs.""" ; "LGPL" ; "http://merjis.com/developers/oc-soap" ; "XML protocols" ; "OC-Soap" ; "Native OCaml libraries" ; "0.3.2" . "OCamlODE is a set of Objective CAML bindings to the Open Dynamics Engine (ODE). It comes with a very simple demonstration game." ; "LGPL" ; "http://www.linux-nantes.org/~fmonnier/OCaml/ODE/" ; "3D graphics" ; "OCamlODE" ; "Bindings with C libraries" ; "0.6" . """Wyrd is a curses front-end for Remind, a powerful calendar and alarm application. The display features a scrollable day calendar suitable for visualizing your schedule at a glance. Wyrd integrates with an external editor of your choice to make manual editing of reminder files more efficient. Other features include significant configurability and Mutt-like interface design.""" ; "Has a Godi package" ; "GPL" ; "http://pessimization.com/software/wyrd/" ; "Date and time" ; "Wyrd" ; "Others" ; "1.4.4" . """LablGtkSourceView are the OCaml bindings for GtkSourceView, a GTK widget which extends the standrd GTK text widgets implementing syntax highlighting, automatic indentation, and other typical features of source editors. Using LablGtkSourceView you can instantiate and use GtkSourceView widgets in OCaml programs which use GTK through the LablGtk interface. """ ; "LGPL" ; "http://helm.cs.unibo.it/software/lablgtksourceview/" ; "Graphical toolkits" ; "LablGtkSourceView" ; "Bindings with C libraries" ; "0.2.0" . """A binding for PCRE, providing access to the POSIX regular expression pattern matching API of PCRE, fully supporting Linux and Windows builds of PCRE versions 6.1 - 7.0. With an emphasis on simplicity and ease of use, LablPCRE offers a small-footprint interface: four functions and a handful of public methods in a returned \"regresult\" object.""" ; "BSD" ; "http://www.rftp.com/Downloads.shtml" ; "Strings manipulation" ; "LablPCRE" ; "Bindings with C libraries" ; "1.0" . "OCamlDuce is a merger between OCaml and CDuce. It comes as a modified version of OCaml which integrates CDuce features: expressions, types, patterns." ; "Has a Godi package", "Has a documentation", "Has a tutorial" ; "QPL" ; "https://forge.ocamlcore.org/projects/ocamlduce/" ; "Compilers", "Typing" ; "OCamlDuce" ; "Development tools" ; "3.12.1.0" . """The Peeroml package allows one to construct lego parts inventories or deconstruct them from a lego set catalog.""" ; "http://perso.wanadoo.fr/alphablock/downloads/Peeroml.zip" ; "Games" ; "Peeroml" ; "Bindings with C libraries" . "Metaphone is an implementation of Lawrence Philips' Double Metaphone phonetic algorithm in OCaml. In fact it's just a very thin set of bindings around the original C++ implementation (with some bug fixes)." ; "http://merjis.com/developers/metaphone" ; "Audio" ; "Metaphone" ; "Bindings with C libraries" ; "1.0" . "Interface to Google Adwords API. This API offers rapid, type-safe development, command line tools for doing common Adwords operations, interactive access to the API." ; "GPL", "LGPL" ; "http://merjis.com/developers/adwords_api" ; "XML protocols" ; "adwords API" ; "Native OCaml libraries" ; "1.0.0" . """Neko is an intermediate programming language with its virtual machine. The compiler is written in OCaml and the VM in C. It might be interesting for people involved in language design, since Neko is providing a common reusable runtime for language designers.""" ; "Has a documentation" ; "http://nekovm.org/" ; "Compilers", "Servers and clients" ; "Neko" ; "Development tools" ; "1.0" . "Ocamlscript is a tool which allows to use OCaml as a fast scripting language. The compilation process is performed as needed, and all the program and the compilation options are contained in one file." ; "Has a documentation" ; "Boost Software License" ; "http://martin.jambon.free.fr/ocamlscript.html" ; "Shell programming" ; "ocamlscript" ; "Others" ; "2.0.2" . "Hhl is a library for Hidden Markov Models (HMM) and Hierarchical HMMs (HHMMs) in Ocaml. Both are probabilistic sequence models. Hhd is a designer that allows to design by hand models and save them quickly. " ; "GPL" ; "http://connex.lip6.fr/~binsztok/hhld.html" ; "2D graphics", "Maths and Logic" ; "HHMM library and designer" ; "Scientific software" ; "0.1.0" . " Dynaml provides rudimentary support for dynamic types in Objective Caml (O'Caml). Dynamic values provided by dynaml are not type checked by ocaml at compile-time in the same way static values are. Type checking is instead performed at runtime." ; "Has a documentation", "Has a tutorial" ; "http://farrand.net/dynaml.shtml" ; "Language extensions" ; "Dynaml" ; "Camlp4 extensions" ; "0.6" . """HDCaml provides a framework for describing hardware structures in OCaml. Given a functional hardware description, HDCaml will produce a Verilog netlist for verification and implementation. HDCaml also has decent PSL support for assertion based verification.""" ; "LGPL" ; "http://funhdl.org/wiki/doku.php?id=hdcaml" ; "Code generators", "Hardware" ; "HDCaml" ; "Native OCaml libraries" ; "0.2.9" . "Development environment for Objective Caml programmers, written in GTK2. It includes an OCaml-scriptable text-editor, a graphical toplevel, a documentation browser, and other useful tools and libs." ; "Has a documentation" ; "LGPL" ; "http://home.gna.org/cameleon/" ; "Code generators", "Development environments" ; "Cameleon" ; "Development tools" ; "1.9.21" . "A plugin for integrating OCaml in Xcode. At this time, it's still a beta version but it now works on simple tasks like syntax coloration, creation of a native ocaml target, and adding .m files or .cma static libraries to the target, integration of ocamllex and ocamlyacc, integration into the Xcode build system, error window." ; "GPL" ; "http://maxao.free.fr/xcode-ocaml-plugin/" ; "Development environments" ; "Xcode plug-in for OCaml" ; "Development tools" . """Fjavac is a Java 5 compiler front-end implemented in the functional language OCaml. Currently the compiler can parse and pretty-print almost all of JDK 1.4.2 and JDK 1.5.0 files (including generics, wildcards, annotations, enumerations, static imports, for-each loops and variable arity arguments). A full compiler (with type inference, capture conversion and type checking) is underway.""" ; "GPL" ; "http://www.cis.upenn.edu/~stse/javac/" ; "Compilers" ; "Fjavac" ; "Others" ; "0.3.0" . "Gerd Stolpmann offers UMLMON, which is an add-on product to User Mode Linux (UML) that strongly simplifies its administration. Up to now a system operator needed several weeks to develop scripts in order to deploy User Mode Linux. UMLMON is a ready-to-use solution setting standards for UML operating, especially concerning the number of features and the operational safety." ; "Has a Godi package" ; "GPL" ; "http://www.gerd-stolpmann.de/buero/umlmon.html.en" ; "File systems and system administration" ; "UMLMON" ; "Others" ; "1.0.1" . "OCaml bindings to the SQLite 3 database access library." ; "Has a Godi package" ; "MIT/X11" ; "http://ocaml.info/home/ocaml_sources.html#ocaml-sqlite3" ; "Databases" ; "OCaml-SQLite3" ; "Bindings with C libraries" ; "0.12" . """NJoy is a variant of the concatenative programming language Joy The main difference is that it is enriched with an easy to module system with optionally private declarations. Only a part of the standard library of Joy is implemented. The interpreter is easy to use, but the builtin functions are poorly documented. The performance of the interpreter (natively compiled and stack traceback switched off) is on par with optimized C implementation of Joy. """ ; "GPL" ; "http://metamatix.org/~ocaml/njoy.html" ; "Interpreters" ; "Nnjoy" ; "Development tools" ; "0.2" . "Sem is an OCaml module implementing support of POSIX semaphores. The package contains code in C and OCaml programming languages. Once compiled it makes a usual OCaml library usable in both byte-code and native code development." ; "BSD" ; "http://ocaml-sem.sourceforge.net/" ; "System programming" ; "OCaml-Sem" ; "Bindings with C libraries" ; "0.0.2" . "Library for automated conversion of OCaml-values to and from S-expressions." ; "LGPL" ; "http://www.janestcapital.com/ocaml/" ; "Data structures", "Language extensions" ; "Sexplib" ; "Camlp4 extensions", "Native OCaml libraries" ; "3.0.1" . "A free tennis game written entirely in ocamlsdl and lablgl." ; "Has a documentation" ; "http://freetennis.sf.net" ; "Games" ; "Freetennis" ; "Others" . "Yacclib is a small OCaml library to parse and print OCamlyacc .mly files. It can also print dot graphs from these files. It comes with a graphical editor for .mly files." ; "GPL" ; "http://pauillac.inria.fr/~guesdon/yacclib.en.html" ; "Lexing and parsing" ; "Yacclib" ; "Native OCaml libraries" ; "0.4" . "A solver for the Sudoku game." ; "Has a documentation" ; "http://www.eleves.ens.fr/home/frisch/sudoku.html" ; "Games" ; "Frisch's Sudoku Solver" ; "Toys - Examples" ; "20051117." . "This book teaches the fundamentals of programming using OCaml, assuming little prior knowledge of computer programming. Particular emphasis is placed upon programming paradigms rarely seen in current scientific computing, such as exceptions, polymorphism, higher-order functions, nested functions, pattern matching and modules." ; "http://www.ffconsultancy.com/products/ocaml_for_scientists/index.html" ; "Science", "Software development" ; "Objective CAML for Scientists" ; "Books" . "A ``portable assembly language'' that can replace C as a target language used by compiler writers." ; "http://www.cminusminus.org/" ; "C--" . "\"The Whitespace Thing\" for OCaml is an alternative syntax that uses indentation rather than parenthesization to group expressions, like in Python and Haskell. This is a controversial feature that some people will always love and some people will always hate. Now, OCaml lets you have it both ways." ; "Has a documentation" ; "http://people.csail.mit.edu/mikelin/ocaml+twt/" ; "Language extensions" ; "The Whitespace Thing" ; "Camlp4 extensions" ; "0.90" . """A very serious Mandelbrot renderer. The program is 35 lines of OCaml and renders using OpenGL.""" ; "Has a documentation" ; "http://www.ffconsultancy.com/free/fractal" ; "3D graphics" ; "Mandelbrot renderer" ; "Toys - Examples" . "A simple interface to the commercial Boom SMS (text message sending) service." ; "LGPL" ; "http://merjis.com/developers/boomsms" ; "Communications and networking" ; "BoomSMS" ; "Native OCaml libraries" ; "1.0.2" . """Une introduction avec le langage OCaml. Les programmes d'exemple sont à l'adresse suivante: http://dept-info.labri.u-bordeaux.fr/~narbel/PFGO/index_sources.html """ ; "http://www.vuibert.com/livre1978.html" ; "Programming languages" ; "Programmation fonctionnelle, générique et objet" ; "Books" . "O'Chess is a simple chess engine written in O'Caml." ; "MIT/X11" ; "http://olegtrott.com/chess/" ; "Games" ; "O'Chess" ; "Others" ; "0.2" . """A little helper tool to simplify using Microsoft command line build utilities in a unix-like way.""" ; "http://repo.or.cz/w/imt.git" ; "Build tools" ; "IMT" ; "Development tools" ; "1.00" . "P4ck (read \"4-pack\") is a utility which downloads, compiles and installs Camlp4 syntax extensions. The motivation for this tool comes from the fact that many people wrote interesting syntax extensions for OCaml, which are in fact quite short and fit in one single file." ; "Has a documentation" ; "http://martin.jambon.free.fr/p4ck.html" ; "Development environments", "Language extensions" ; "P4ck" ; "Development tools" ; "0.501" . "An interface to the library of ImageMagick." ; "GPL" ; "http://www.linux-nantes.org/~fmonnier/OCaml/ImageMagick" ; "2D graphics" ; "ImageMagick Binding for OCaml" ; "Bindings with C libraries" ; "0.15" . "Menhir is an LR(1) parser generator for the Objective Caml programming language." ; "Has a documentation" ; "http://pauillac.inria.fr/~fpottier/menhir/menhir.html.en" ; "Code generators", "Lexing and parsing" ; "Menhir" ; "Development tools" ; "20080908" . "Weblogs is an OCaml module for importing weblogs from Apache or IIS web servers." ; "LGPL" ; "http://merjis.com/developers/weblogs" ; "System files" ; "Weblogs" ; "Native OCaml libraries" ; "2.1" . "WTimer allows you (and your group) to enter time sheets, to store them into a database, and to retrieve reports of them. What can you put into a time sheet? These sheets are organized by days, and every day has several rows. The rows contain the clock time when the activity starts, when the activity ends, how long it lasts, a project identifier, and a description (free text)." ; "GPL" ; "http://www.ocaml-programming.de/packages/documentation/wtimer" ; "Servers and clients" ; "WTimer" ; "Others" ; "1.0" . "HostIP is an OCaml module for looking up geolocation data from IP addresses. It uses the community HostIP project." ; "LGPL" ; "http://merjis.com/developers/hostip" ; "TCP/IP" ; "HostIP" ; "Native OCaml libraries" ; "0.2" . "Odot is a small OCaml library to parse and print Graphviz dot files. It comes with an additional module defining a Lablgtk2 box to display such graphs, and handle mouse clicks on nodes. " ; "GPL" ; "http://home.gna.org/cameleon/odot.en.html" ; "Graphical toolkits", "Lexing and parsing" ; "Odot" ; "Native OCaml libraries" ; "0.5" . "A parser generator for ordered context free grammars (OCFG) based on GLR (Generalized LR) parsing, also known as Tomita's parsing." ; "http://www.cis.upenn.edu/~stse/javac/" ; "Lexing and parsing" ; "ocfgc" ; "Native OCaml libraries" ; "0.4.1" . "A functional Java 5 compiler." ; "http://www.cis.upenn.edu/~stse/javac/" ; "Compilers" ; "Fjavac" ; "Scientific software" ; "0.4.1" . "This is a OCaml 3.09.3 port to AIX (PPC)." ; "http://ibgs.christoph-bauer.net/~fridolin/ocaml-aix.html" ; "Compilers" ; "OCaml for AIX" ; "Development tools" ; "3.10.0" . "Camlmix is a generic preprocessor which converts text with embedded OCaml into an OCaml program with embedded text. It produces text documents from one or several templates. " ; "Has a documentation" ; "http://martin.jambon.free.fr/camlmix/" ; "Code generators" ; "Camlmix" ; "Camlp4 extensions" ; "1.3" . """BG1Tutu is a project which automatically converts the resources in a Baldur's Gate, or Baldur's Gate + TotSC install to the BGII engine. """ ; "Has a documentation" ; "http://www.pocketplane.net/mambo/index.php?option=content&task=blogcategory&id=143&Itemid=98" ; "Games" ; "BG1Tutu" ; "Others" . "WeiDU is a dialogue compiler, string patcher, script and text file extender for Infinity Engine games." ; "Has a documentation", "Has a tutorial" ; "GPL" ; "http://www.weidu.org/main.html#weidu" ; "Games" ; "Weidu" ; "Others" ; "188" . "McCarthy is a simple, first-order functional programming language. The interpreter of this language is also called McCarthy. McCarthy is Turing-complete i.e. it can compute all Turing-computable functions on the integers. It is not suitable for general purpose programming as it offers only an elementary subset of the features found in general purpose programming languages, but it can serve as a model of computation." ; "Has a documentation" ; "GPL" ; "http://mccarthy.sourceforge.net/" ; "Interpreters" ; "McCarthy" ; "Scientific software" . "To use Kdialog from OCaml." ; "GPL" ; "http://www.limsi.fr/Individu/sejourne/distrib.php" ; "X" ; "Kdialog2OCaml" ; "Native OCaml libraries" . "An english translation of a complete book on OCaml : language, concepts, tools, libraries." ; "http://caml.inria.fr/oreilly-book/html/" ; "Developing applications with Objective-Caml" ; "Books" . """WSync is a web uploading tool, i.e. a kind of ``web mirroring'' program, but it operates by ``pushing'' (uploading) files rather than downloading them. If you maintain a web site, you probably generate HTML pages on a local repository on your computer, and then upload them to the web server. WSync can help you a lot. """ ; "Has a documentation" ; "http://christophe.deleuze.free.fr/D/wsync.html" ; "FTP" ; "wsync" ; "Others" . "To use Xdialog from OCaml." ; "GPL" ; "http://www.limsi.fr/Individu/sejourne/distrib.php" ; "X" ; "Xdialog2Ocaml" ; "Native OCaml libraries" . "PG'OCaml is a type-safe, simple interface to PostgreSQL from OCaml. It lets you embed SQL statements directly into OCaml code." ; "LGPL" ; "http://pgocaml.forge.ocamlcore.org/" ; "Databases" ; "PGOCaml" ; "Bindings with C libraries" ; "1.4" . """This is a toy implementation of Zope's TAL (Template Attribute Language) for OCaml, conveniently named 'Octal'. It is built on top of Camlp4 and Xml-Light. The purpose of TAL is to have a template that is a valid XML or HTML document that already renders like the resulting document.""" ; "Public Domain" ; "http://ssel.vub.ac.be/svn-gen/bdefrain/octal/" ; "Parsers and pretty-printers" ; "Octal" ; "Toys - Examples" . """Zenon is an automatic theorem prover written in OCaml. Zenon handles first-order logic with equality. Its most important feature is that it outputs the proofs of the theorems, in Coq-checkable form.""" ; "BSD" ; "http://focal.inria.fr/zenon/" ; "Maths and Logic" ; "Zenon" ; "Scientific software" ; "0.4.1" . """HashSet is a hashed set library for Objective Caml. Buckets are ordered and the first element of a bucket is kept in a separate array, with occupation controlled by a bitvector. """ ; "LGPL" ; "http://wwwteor.mi.infn.it/~pernici/ocaml/ocaml.html" ; "Data structures" ; "HashSet" ; "Native OCaml libraries" . "A syntax extension which allows out-of-bounds accesses of arrays and alike to be reported with the exact location in the source code. " ; "Has a documentation" ; "BSD" ; "http://martin.jambon.free.fr/ocaml.html#bounds" ; "Language extensions" ; "pa_bounds" ; "Camlp4 extensions" . "PHP string analyzer is a static program analyzer that approximates the string output of a PHP program with a context-free grammar. The analyzer can be used to check properties of a PHP program. For example, it can be used to validate dynamically generated Web pages by a PHP program." ; "Has a documentation" ; "BSD" ; "http://www.score.cs.tsukuba.ac.jp/~minamide/phpsa/" ; "Program analysis" ; "Phpsa" ; "Scientific software" ; "0.1.1" . """xml2cd is a cduce preprocessor that lets you embed cduce expressions in an xml files (and vice-versa) à la php (but with the nice cduce type checking). It supports namespaces, automatic dtd downloading etc...""" ; "http://reglisse.ens.fr/ecduce/Getting_to_know_xml2cd.html" ; "CGI", "XML specific languages" ; "xml2cd" ; "Development tools" ; "alpha1" . "two OCaml implementations of Dybvig, Sabry, Peyton-Jones' delimited continuation framework. The framework supports `static' ( shift/ reset) and `dynamic' ( prompt/ control, shift0, control0) delimited continuation operators with multiple, arbitrarily typed prompts." ; "MIT/X11" ; "http://okmij.org/ftp/continuations/" ; "Computing" ; "Caml-shift" ; "Native OCaml libraries" ; "2010-08-11" . """This package contains the OCaml Interface to WordNet 2.1. It enables Ocaml programs to use the Wordnet dictionary for (english) word forms and meanings. This library directly parses the WordNet dictionary files, and does not depend on any other libraries. This library requires WordNet 2.1 to be installed (WordNet is available as a free download).""" ; "Has a tutorial" ; "BSD" ; "http://ramamurthy.ramu.googlepages.com/ocamlwordnet" ; "Lexing and parsing", "Linguistics" ; "OCaml WordNet" ; "Native OCaml libraries" ; "0.1" . """The facility that prints results and types of expressions evaluated at the top-level is now available anywhere in the program -- in bytecode- or natively compiled programs. Generic printing is a (perhaps unintentional) `side-effect' of MetaOCaml -- of the fact that a code value is not merely AST; the code value also captures the type and the type environment of variables and other values. Generic printing is a library that works with the unmodified MetaOCaml (which is _fully_ compatible with the regular OCaml).""" ; "http://pobox.com/~oleg/ftp/ML/gprint/" ; "Computing" ; "gprint" ; "Native OCaml libraries" . "This package provides a syntax extension for easier manipulation of flat records, objects or tuples and conversions from/to CSV files for your favorite spreadsheet or plotting program." ; "Has a documentation" ; "http://martin.jambon.free.fr/ocaml.html#col" ; "Data structures" ; "Col" ; "Camlp4 extensions", "Native OCaml libraries" . "an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. HashCaml builds on earlier work on Acute but is a distinct language design and implementation." ; "Has a documentation" ; "http://www.cl.cam.ac.uk/users/pes20/hashcaml/" ; "Language extensions" ; "HashCaml" ; "Patch" . """Ostap is an OCaml module to provide a set of parser combinators. The name of this library originates from Ostap Bender --- the central character of Ilya Ilf and Eugene Petrov's comedy \"The Twelve Chairs\". Bender is generally referred to as \"The Great Combinator\" since the word \"combinator\" in Russian also means \"a swindler\", \"a sly man\" etc. Additionally to the common set of parser combinators Ostap provides a camlp4 syntax extension pa_ostap.cmo to embed grammar expressions written in BNF-like style into OCaml code. Another feature of pa_ostap is that it allows to consider streams as objects and so makes integration of lexers and parsers simpler. Please have a look at the documentation for details. """ ; "Has a documentation" ; "LGPL" ; "http://oops.tepkom.ru/projects/ostap" ; "Lexing and parsing" ; "Ostap" ; "Camlp4 extensions", "Native OCaml libraries" ; "0.1" . "OCamlTeX is a combination of an OCaml script and LaTeX style file that, together, give the user the ability to define LaTeX macros in terms of OCaml code. Once defined, a OCaml macro becomes indistinguishable from any other LaTeX macro. OCamlTeX thereby combines LaTeX's typesetting power with OCaml's programmability." ; "LPPL (LaTeX Project Public Licence)" ; "http://free-the-mallocs.com/index.php?n=Software.OCamlTeX." ; "Publishing" ; "OCamlTex" ; "Development tools" ; "0.6" . """Given a cursor position (line 30, column 20) \"annot -type 30 20 main.annot\" looks up the type annotation for that position in main.annot. It is trivial to hook this to a key in Vim, and probably most other editors.""" ; "http://caml.inria.fr/pub/ml-archives/caml-list/2006/05/7fe9812d6079f800f21106b6721bad42.en.html" ; "Editor modes" ; "annot" ; "Development tools" . """This tool allows you to monitor one or more web sites (or other resources) by regularly doing tests on them. A test consists of grepping a resource (an HTML page fetched by URL, or the output of an arbitrary command) using a boolean combination of Perl-compatible regular expressions. On failure, a mail is sent to a list of admins. Includes a Debian package and a flexible configuration file syntax.""" ; "GPL" ; "http://abaababa.ouvaton.org/monitor/" ; "WWW/HTTP" ; "Monitor" ; "Others" ; "0.3" . """OCaml interface to Link Grammar. This package contains the OCaml interface to Link Grammar. It enables Ocaml applications to use Link Grammar to parse English sentences.""" ; "BSD" ; "http://ramamurthy.ramu.googlepages.com/ocamllinkgrammar" ; "Linguistics" ; "Ocaml Link Grammar" ; "Bindings with C libraries" ; "0.1" . "Objective-Caml bindings for the Cairo library." ; "LGPL" ; "http://www.cairographics.org/cairo-ocaml/" ; "2D graphics" ; "Cairo-OCaml" ; "Bindings with C libraries" ; "1.0.0" . "This module implements compact integer sets, represented as a (custom) list of integer intervals. Usual set operations are provided. The advantage compared to ordered lists is that the actual size may be smaller than the cardinal of a set when many elements are contiguous. Most set operations are linear w.r.t. the size of the structure, not the cardinal of the set." ; "LGPL" ; "http://www.irisa.fr/lande/ferre/software.en.html" ; "Data structures" ; "Cis" ; "Native OCaml libraries" . "WOWcamldebug is a front end that permits to use the OCaml debugger with (g)vim. You can run it as you usually run ocamldebug and it will execute both the ocamldebugger itself, permitting usual interaction, and a gvim window which will be kept in sync with the current debugging position. The current debugging line is highlighted and the cursor is positioned at the current event position on that line." ; "Has a documentation" ; "GPL" ; "http://www.bononia.it/~zack/wowcamldebug.en.html" ; "Development environments" ; "WOWcamldebug" ; "Development tools" ; "0.2" . "Svgconv is a tool to convert SVG paths into a C format that can be easily used with OpenVG. The tool converts SVG graphics into C source code that can be #included into your C program that wishes to use the path data." ; "BSD" ; "http://svgconv.sourceforge.net" ; "2D graphics", "Code generators" ; "svgconv" ; "Development tools" ; "1.0.5" . "Camlp4 extension for monadic expressions in OCaml." ; "LGPL", "MIT/X11" ; "http://www.cas.mcmaster.ca/~carette/pa_monad/" ; "Language extensions" ; "pa_monad" ; "Camlp4 extensions" ; "6.0" . "A simple tactical theorem prover for higher-order logic." ; "LGPL" ; "http://code.google.com/p/hseq/" ; "Maths and Logic" ; "HSeq" ; "Scientific software" . """Resumable exceptions are the strict generalization of regular exceptions, which lets the exception raising form return a value and so the computation may continue. It's the exception handler that decides either to abort the exceptional computation or to resume it with a particular value. We show a conservative and elementary implementation of resumable exceptions in OCaml: the implementation is a self-contained 100% pure OCaml library.""" ; "Has a documentation" ; "http://pobox.com/~oleg/ftp/ML/resumable.ml" ; "Language extensions" ; "Resumable exceptions in plain OCaml" ; "Native OCaml libraries" . """A patch for Objective Caml that provides type safe unmarshalling functions.""" ; "Has a documentation" ; "http://www.pps.jussieu.fr/~henry/marshal/" ; "Language extensions", "Typing" ; "Type safe unmarshalling functions" ; "Patch" . "XStream is a simple functional transformation language for XML documents. XML transformations written in XStream are evaluated in streaming: when possible, parts of the output are computed and produced while the input document is still being parsed. Some transformations can thus be applied to huge XML documents which would not even fit in memory." ; "Has a documentation" ; "CeCILL" ; "http://yquem.inria.fr/~frisch/xstream/" ; "XML specific languages" ; "XStream" ; "Development tools" ; "0.1" . """This library can be used to segment Newspaper style (english) text articles into sentences. It uses the Ocaml lexer with a simple set of lexical rules to classify those periods ('.') in the text that end sentences. """ ; "BSD" ; "http://ramamurthy.ramu.googlepages.com/sentencesegmenter" ; "Linguistics" ; "Sentence Segmenter" ; "Native OCaml libraries" . "This software implements the researches of the thesis of Peggy Cénac. Use the CGR to build a new family of tests of structure of sequences (i.i.d., markovian), empirically check the level and power of the tests and apply them on DNA sequences. Generalize the dinucleotide abundance profile to a CGR-based relative abundance profile and use this profile on DNA sequences to build taxonomy trees. Define CGR-trees, which are Digital Search Trees built from sequences, and check that the empirical longest branches, shortest branches and insertion level match the theorical results of the thesis." ; "Has a tutorial" ; "CeCILL" ; "http://mycgr.inria.fr/" ; "Biology" ; "MyCGR" ; "Native OCaml libraries", "Scientific software" ; "0.98" . """GLCaml (http://glcaml.sourceforge.net) is a compact set of Ocaml bindings to OpenGL versions 1.0 through 2.1, for Windows, Linux and OS-X. It also contains optional compact bindings for SDL (http://www.libsdl.org). """ ; "Has a documentation", "Has a tutorial" ; "http://glcaml.sourceforge.net" ; "2D graphics", "3D graphics", "Audio" ; "GLCaml" ; "Bindings with C libraries" ; "20080215" . "Kom stands for \"Keep old mails\". It imports emails in a MySQL database and provides a frontend in gtk2 to search and browse the archived emails. Some options can be used to incrementally import mails (do to it each month for example). It can also export mails stored in the database, in mbox format or one-message-per-file format, and generate some statistics." ; "Has a tutorial" ; "GPL" ; "http://pauillac.inria.fr/~guesdon/kom.en.html" ; "Email" ; "kom" ; "Others" ; "1.0" . """Why is a software verification tool. Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, HOL Light, Mizar and the decision procedures haRVey and Simplify. """ ; "Has a documentation" ; "GPL" ; "http://why.lri.fr/index.en.html" ; "Program analysis" ; "Why" ; "Scientific software" ; "1.42" . """SRESI is a smart bookmarks manager: from a list of tagged bookmarks, it can generate an exhaustive tree or a portal, where each bookmark is at every place in the hierarchy you can expect to find it, and with stupid branches absorbed back in their saner versions. An import function is provided. """ ; "Has a documentation" ; "GPL" ; "http://twa-corbies.net/sresi/" ; "WWW/HTTP", "XML formats" ; "SRESI" ; "Others" ; "0.12.0" . "OCaml wrapper for the Sqlite3 database library." ; "http://www.imada.sdu.dk/~bardur/personal/45-programs/index.html" ; "Databases" ; "Another OCaml-sqlite3" ; "Bindings with C libraries" ; "0.1.7" . "CAMLP4 syntax extension offering a special syntax for parsing command-line arguments." ; "Has a Godi package", "Has a documentation" ; "http://www.cs.cornell.edu/w8/~ebreck/pa_arg/" ; "Command line", "Language extensions" ; "pa_arg" ; "Camlp4 extensions" ; "0.2.1" . """mlrogue is a clone of linuxrogue rewritten in ocaml. This is a game of the 80ies running in a terminal 24 lines x 80 columns. Can be played in a xterm or other window terminal. """ ; "http://pauillac.inria.fr/~ddr/mlrogue/" ; "Games" ; "mlrogue" ; "Others" ; "1.00" . "mldiff is a program implementing the algorithm of \"diff\" (print differences between files) rewritten in ocaml. It contains also a module to compute differences between anything (not only strings)." ; "http://pauillac.inria.fr/~ddr/mldiff/" ; "Strings manipulation" ; "mldiff" ; "Native OCaml libraries" ; "1.01" . "Olmar connects Elsa, the Elkhound based C/C++ parser and typechecker, with Ocaml. More precisely, the Olmar extension can translate Elsa's internal abstract syntax tree into a value of an Ocaml variant type. This value can then be further processed with a pure Ocaml program. I prefer to have standalone Ocaml programs. Therefore I let Elsa marshal the abstract syntax tree as an Ocaml value to disk. However, it is also possible to link the Ocaml code into the Elsa executable." ; "BSD" ; "http://www.cs.ru.nl/~tews/olmar/" ; "Program analysis" ; "Olmar" ; "Development tools" ; "0.2" . "A small and not entirely usual CPU load monitor written in OCaml." ; "Has a documentation" ; "http://repo.or.cz/w/apc.git" ; "System programming" ; "APC" ; "Others" ; "1.02" . """\"io\" is an IO combinator library for safe I/O over strings and channels, in the style of \"picklers\" which can then be used with various backends to safely load and save data. Currently available backends include : human readable ASCII, binary and compressed binary. A type-independent command can convert between different representations. The representation for records and sum types is upwards compatible. Note that sharing and circular structures are not supported.""" ; "LGPL" ; "http://abaababa.ouvaton.org/caml/" ; "System programming" ; "io" ; "Native OCaml libraries" ; "0.3" . """Ancient is an OCaml module that allows you to use in-memory data structures which are larger than available memory and so are kept in swap. If you try this in normal OCaml code, you'll find that the machine quickly descends into thrashing as the garbage collector repeatedly iterates over swapped memory structures. This module lets you break that limitation. Of course the module doesn't work by magic :-) If your program tries to access these large structures, they still need to be swapped back in, but it is suitable for large, sparsely accessed structures. Secondly, this module allows you to share those structures between processes. In this mode, the structures are backed by a disk file, and any process that has read/write access that disk file can map that file in and see the structures.""" ; "Has a documentation" ; "LGPL" ; "http://merjis.com/developers/ancient" ; "Data structures" ; "Ancient" ; "Bindings with C libraries" ; "0.9.0" . "Dypgen is a GLR parser generator for Objective Caml, it is able to generate dynamically extensible parsers." ; "Has a documentation" ; "http://perso.ens-lyon.fr/emmanuel.onzon/" ; "Lexing and parsing" ; "Dypgen" ; "Native OCaml libraries" ; "20061020" . "An OCaml library managing dates and times." ; "Has a Godi package", "Has a documentation" ; "http://calendar.forge.ocamlcore.org/" ; "Date and time" ; "calendar" ; "Native OCaml libraries" ; "2.03.1" . """OCamlP3l is a compiler for Caml parallel programs. The OCamlP3l programming paradigm is skeleton programming. The skeletons encapsulate basic parallel programming patterns in a well understood and structured approach. Based on P3L, the Pisa Parallel Programming Language, OCamlP3l skeleton algebra is embedded in a full-fledged functional programming language, namely Objective Caml. """ ; "Has a documentation" ; "LGPL" ; "http://camlp3l.inria.fr/" ; "Distributed and parallel programming" ; "OCamlP3L" ; "Development tools" ; "2.03" . """Bedwyr is an extended logic programming language that allows model-checking directly on syntactic expressions possibly containing bindings. We believe that it's an interesting tool for computer scientists, as it allows simple reasoning on declarative specifications, with several good examples, notably bisimulation checking for the pi-calculus. Other examples include type systems, games, logics, etc.""" ; "Has a documentation" ; "GPL" ; "http://slimmer.gforge.inria.fr/bedwyr/" ; "Maths and Logic" ; "Bedwyr" ; "Scientific software" ; "1.0" . "This library implements an OCaml client interface for an Oracle database. The library is built on top of the OCCI C++ interface available in Oracle 10g. It is efficient and suitable for processing large volumes of data." ; "Has a documentation" ; "LGPL" ; "http://oracaml.sourceforge.net/" ; "Databases" ; "OraCaml" ; "Bindings with C libraries" ; "0.1" . "SOSS is an implementation of a SOAP server for OCaml. It is designed to allow a service, developed in OCaml, to be made available as a SOAP service with minimal effort. " ; "http://ne-fat-s.org/soss/index.html" ; "XML protocols" ; "SOSS" ; "Native OCaml libraries", "Web application" ; "0.1.03" . "A small bindings for inotify, aka linux file system notification new subsystem." ; "http://tab.snarc.org/projects/ocaml_inotify/" ; "File systems and system administration" ; "Inotify bindings" ; "Bindings with C libraries" ; "0.2" . "Bindings to the alsa library." ; "http://sourceforge.net/project/showfiles.php?group_id=89802" ; "Audio" ; "OCaml-alsa" ; "Bindings with C libraries" ; "0.1.3" . "An OCaml small library for daemons (init, logging, configuration)." ; "http://savonet.sourceforge.net/wiki/OCamlLibs" ; "File systems and system administration" ; "OCaml-dtools" ; "Native OCaml libraries" ; "0.1.2" . "A high level module to access files through various protocols (local files, ftp, samba, etc). It provides high-level functions for that." ; "http://savonet.sourceforge.net/wiki/OCamlLibs" ; "Communications and networking", "FTP", "Servers and clients" ; "OCaml-fetch" ; "Native OCaml libraries" ; "0.1.0" . "OCaml module to access files via ftp. It provides high-level functions for that." ; "http://savonet.sourceforge.net/wiki/OCamlLibs" ; "FTP" ; "OCaml-ftp" ; "Native OCaml libraries" ; "0.1.0" . "Bindings to the lame library." ; "http://savonet.sourceforge.net/wiki/OCamlLibs" ; "Audio" ; "OCaml-lame" ; "Bindings with C libraries" ; "0.1.1" . "OCaml functions for manipulating mp3 id3 tags." ; "http://savonet.sourceforge.net/wiki/OCamlLibs" ; "Audio" ; "OCaml-mp3id3" ; "Native OCaml libraries" ; "0.2.1" . "OCaml bindings for the libsmbclient library to access files through the samba protocol. It provides high-level functions for that." ; "http://savonet.sourceforge.net/wiki/OCamlLibs" ; "Communications and networking" ; "OCaml-smbclient" ; "Bindings with C libraries" ; "0.1.0" . """json-wheel is an OCaml implementation of the JSON data interchange format, which can be considered as a lightweight alternative to XML.""" ; "Has a Godi package" ; "BSD" ; "http://martin.jambon.free.fr/json-wheel.html" ; "Other protocols" ; "json-wheel" ; "Native OCaml libraries" ; "1.0.0" . """Bindings to dbus. This is an alpha release (few memory leaks, missing some proper finalize function, and maybe segfault lurking), and the library is quite big so not everything is wrapped. However it should works for basic use, and the test program should be enough to get to know how to use it.""" ; "http://tab.snarc.org/projects/ocaml_dbus/" ; "System programming" ; "OCaml-dbus" ; "Bindings with C libraries" ; "0.01" . """Ocsigen is a Web server, with a programming framework providing a new way to create dynamic Web sites using Objective Caml. Its goal is to offer an alternative to Apache/PHP, based on cutting-edge technologies coming from research in programming languages.""" ; "Has a documentation", "Has a tutorial" ; "LGPL" ; "http://www.ocsigen.org/" ; "(X)HTML", "Servers and clients" ; "Ocsigen" ; "Web application" ; "2.0" . """A module for runtime type checking in Ocaml. Memcheck is very similar to SafeUnmarshal but without a few of SafeUnmarshal's limitations. In particular, with Memcheck it only takes seconds to check a few megabytes instead of hours as with SafeUnmarshal.""" ; "http://www.cs.ru.nl/~tews/memcheck/" ; "Typing" ; "Memcheck" ; "Camlp4 extensions", "Native OCaml libraries" . "Bindings to the libsndfile C library." ; "http://www.mega-nerd.com/tmp/" ; "Audio" ; "libsndfile-ocaml" ; "Bindings with C libraries" . """tool for semantic definitions of programming languages and calculi. The tool takes as input a definition of a language syntax and semantic relations, in a concise and readable ASCII notation that is close to what one would write in informal mathematics. It builds parsers for symbolic and concrete terms of the language, generates LaTeX to build a typeset version of the definition, and generates Coq, HOL, and Isabelle versions of the definition.""" ; "Has a documentation", "Has a tutorial" ; "BSD" ; "http://moscova.inria.fr/~zappa/software/ott" ; "Computing", "Maths and Logic" ; "Ott" ; "Applications written in Caml" ; "0.10.2" . "An experimental ray tracer using LablGL." ; "GPL" ; "http://syn.cs.pdx.edu/~jsnow/glome/" ; "3D graphics" ; "Glome" ; "Toys - Examples" ; "0.2" . """Json-static is a companion for the json-wheel library. By reading a type definition, the preprocessor inserts code that converts between OCaml types (lists, arrays, tuples, objects, polymorphic variants, ...) and untyped JSON data. Those type definitions are written in a syntax which is very close to regular OCaml type definitions. """ ; "Has a Godi package", "Has a documentation" ; "BSD" ; "http://martin.jambon.free.fr/json-static.html" ; "Other protocols" ; "json-static" ; "Camlp4 extensions" ; "0.9.6" . "WDialog is an advanced system to create dialog-centric web applications.'" ; "Has a documentation", "Has a tutorial" ; "GPL" ; "http://wdialog.sourceforge.net" ; "CGI", "Servers and clients" ; "WDialog" ; "Native OCaml libraries" ; "2.1.2" . "A small utility to mine cmi files for interesting bits of data." ; "Has a Godi package" ; "http://homepage.mac.com/letaris" ; "Development environments" ; "cmigrep" ; "Development tools" ; "1.0" . """A unit testing framework for OCaml. It is based heavily on the Perl unit testing framework of the same name, and produces TAP output (http://en.wikipedia.org/wiki/Test_Anything_Protocol) which can be read and analyzed by a wide range of existing Perl tools. The goal of this framework is to make writing unit tests as simple and as easy as possible (hence the name).""" ; "http://www.iinteractive.com/ocaml/" ; "Testing" ; "TestSimple" ; "Development tools" ; "0.01" . """The LSD mount utilities allow to automate mounting of encrypted filesystems in linux with cryptsetup and loopback devices and enable users (not only root) to mount encrypted filesystems when appropriate entries to /etc/fstab have been added by root.""" ; "GPL" ; "http://software.m-e-leypold.de/lsd-mount-utilities/" ; "File systems and system administration" ; "LSD mount utilities" ; "Others" ; "1.3" . """ Xmlm is an OCaml module providing streaming XML input/output. It aims at making XML processing robust and painless. The streaming interface can process documents without building an in-memory representation. It lets the programmer translate its data structures to XML documents and vice-versa. Functions are provided to easily transform arborescent data structures to/from XML documents.""" ; "Has a documentation" ; "BSD" ; "http://erratique.ch/software/xmlm" ; "Parsers and pretty-printers" ; "xmlm" ; "Native OCaml libraries" ; "1.0.2" . "An ini file parser, in case you ever need to parse one of those little buggers." ; "LGPL" ; "http://homepage.mac.com/letaris/" ; "System files" ; "Inifiles" ; "Native OCaml libraries" ; "1.2" . """This is a user-space implementation of STM (Software Transactional Memory) library for OCaml. It's mainly inspired by the STM library of Haskell, with some exceptions due to the different nature of languages and different strategies of implementation.""" ; "Has a documentation" ; "GPL" ; "http://www.pps.jussieu.fr/~li/software/index.html#stmlib" ; "Data structures", "Distributed and parallel programming" ; "STMlib" ; "Native OCaml libraries" ; "0.0.1" . """This is an experimental patch (we also provide pre-built testing executable and Debian package) for an enhanced OCaml toplevel with additional features. For any kind of bindings (i.e. value, type, module, class etc.): Identifiers been rebound are shown differently by default, to distinguish with currently effective ones; a new directive to query (by kinds or names or their composition) and show both current and history bindings; a new directive to show the current binding of any identifier without evaluating or rebinding it; a type-check-only testing mode to experiment your definitions without polluting the world, and the directive to enter/leave it. """ ; "Has a documentation" ; "http://www.pps.jussieu.fr/~li/software/index.html#enhtop" ; "Language extensions" ; "Enhtop" ; "Patch" ; "3.11.0" . """Highlight converts source code to formatted text with syntax highlighting. Features include coloured output in HTML, XHTML, RTF, TeX, LaTeX and XML format; Support for 120+ programming languages; include 40 colour themes; platform independent; customizable and easy to use. OCaml is also supported.""" ; "Has a documentation" ; "GPL" ; "http://www.andre-simon.de/doku/highlight/en/highlight.html" ; "Documentation generation", "Publishing" ; "Highlight" ; "Development tools" ; "2.4.8" . """A small camlp4 extension that allows conditional logging commands with a simple syntax.""" ; "Has a documentation" ; "MIT/X11" ; "http://www.cs.nyu.edu/~cconway/tools/index.html" ; "Language extensions" ; "pa_log" ; "Camlp4 extensions" . "This is an add-on to the standard Pa_macro syntax extension which allows for command-line arguments of the form -DEFuid=expr where uid is an upper-case identifier (a macro name) and expr is an arbitrary OCaml expression." ; "Has a documentation" ; "MIT/X11" ; "http://www.cs.nyu.edu/~cconway/tools/index.html#macro_arg" ; "Language extensions" ; "pa_macro_arg" ; "Camlp4 extensions" . "About 50 exercises for Caml students from french \"Classes préparatoires aux grandes écoles\"." ; "http://www.cadichonne.net/CAML.htm" ; "Caml and OCaml exercises" ; "Courses" . """The program namealign renames files in a way that they are equally formatted. It follows the same idea of character-classification as the tool pftdbns, but does not sort files into directories. Instead it renames files of the same filename-macrostructure to be equally formatted (e.g. inserting a leading 0 in a numbered part of the name). """ ; "Has a documentation" ; "GPL" ; "http://me.in-berlin.de/~first/software/tools/namealign/" ; "File systems and system administration" ; "namealign" ; "Others" ; "0.6" . """CamlPDF is a library for reading, writing and manipulating PDF files and data.""" ; "Has a documentation" ; "BSD" ; "http://www.coherentpdf.com/ocaml-libraries.html" ; "2D graphics", "Publishing" ; "CamlPDF" ; "Native OCaml libraries" ; "0.5" . "Mocac is a generator of construction functions for Caml concrete data types with algebraic invariants and maximal sharing facilities. Algebraic invariants are specified by using keywords denoting equational theories like commutativity and associativity. The construction functions generated by Mocac allow each equivalence class to be represented by a unique value." ; "Has a tutorial" ; "QPL" ; "http://moca.inria.fr/" ; "Code generators", "Data structures" ; "Moca" ; "Development tools" ; "0.3.0" . "PML will be a proof assistant based on a variant of the ML programming language which should also allow to write mathematics." ; "Has a documentation" ; "http://www.lama.univ-savoie.fr/~raffalli/pml" ; "Maths and Logic" ; "Pml" ; "Development tools", "Scientific software" . "The OCaml Development Tools (ODT) project aims to be like the JDT (Java Development Tools) Eclipse plugins. It provides IDE features for OCaml application developments, such as automatic compilation, custom editors..." ; "http://ocamldt.free.fr/" ; "Development environments" ; "ODT" ; "Development tools" ; "2.0" . "An EasyLanguage (http://lambda-the-ultimate.org/node/2201) to C# translator." ; "http://algokit.com/" ; "Program analysis" ; "EasyLanguage to C# translator" ; "Scientific software" . "A simple GUI for OCaml. It offers two kinds of widgets, to wit, buttons and an Emacs like mini-editor.The idea is to create a GUI with a very small footprint, that is easy to handle for final users, and productive for developers." ; "Public Domain" ; "http://lemac.sourceforge.net/" ; "Graphical toolkits" ; "Lemac" ; "Native OCaml libraries" . "A system for constructing functions automatically from type definitions." ; "Has a documentation" ; "http://github.com/jaked/deriving" ; "Code generators", "Language extensions" ; "Deriving" ; "Camlp4 extensions", "Native OCaml libraries" ; "0.1.2" . """The program newfileaction (newfaction) invokes a program for each file that newly is created in a directory you want to visit. It's similar like the \"watch\" program. When the watch-program is invoked, it starts a command on the shell every n seconds and shows you the results on the screen. This is good for watching the result of commands every n seconds. newfaction is slightly different: it invokes the command for each new file in a directory. So for example, if you get all the time new files into your directory (e.g. by copying them from a remote-host to your locval host via ftp or scp) then you can invoke a program for each of these files. For example you could start your vi-editor for each new file, if you know there are coming text-files, or you could invoke xv for each file, if you know there are coming pictures into the incoming-directory. """ ; "Has a documentation" ; "http://me.in-berlin.de/~first/software/tools/newfileaction/" ; "File systems and system administration" ; "Newfaction" ; "Others" ; "1.0" . """A utility to print a pretty graph of a time series in an ansi terminal.""" ; "Has a Godi package" ; "http://homepage.mac.com/letaris/" ; "2D graphics" ; "graph" ; "Others" ; "1.0" . "A framework for writing extensions to pattern matching using Camlp4." ; "Has a documentation" ; "http://code.google.com/p/ocaml-patterns/" ; "Language extensions" ; "patterns" ; "Camlp4 extensions" ; "0.4" . "Chess III Arena is a simple chess game that utilizes the Quake III Arena characters." ; "http://www.grant-olson.net/ocaml/chess-iii-arena" ; "3D graphics", "Games" ; "Chess III Arena" ; "Others" ; "0.8" . "XmlRpc-Light is an XmlRpc client written in OCaml. It requires Xml-Light and Ocamlnet." ; "LGPL" ; "http://code.google.com/p/xmlrpc-light/" ; "RPC", "XML protocols" ; "XmlRpc-Light" ; "Native OCaml libraries" ; "0.6.1" . "OcaIDE is an O'Caml plug-in for Eclipse" ; "Has a documentation" ; "CECILL-B" ; "http://ocaml.eclipse.ortsa.com" ; "Development environments" ; "OcaIDE" ; "Development tools" ; "1.0.1" . """An Ocaml implementation of extensible arrays. The implementation is functional, based on balanced trees (and on the code for Set and Map).""" ; "Has a documentation" ; "LGPL" ; "http://luca.dealfaro.org/Vec-Extensible-Functional-Arrays-for-Ocaml" ; "Data structures" ; "Vec" ; "Native OCaml libraries" ; "2.02" . "An efficient, imperative Fibonacci heap library, based on the pseudocode of Cormen, Leiserson, Rivest, and Stein. Aims to be practical and elegant." ; "BSD" ; "http://code.google.com/p/fiblib/" ; "Data structures" ; "Fiblib" ; "Native OCaml libraries" ; "0.1" . "An OCaml binding that allows the manipulation of Smartcards in OCaml, both in Linux, through the C library PCSC-Lite provided by M.U.S.C.L.E. and in Windows through Winscard.dll." ; "Has a Godi package" ; "LGPL" ; "http://www.di.ubi.pt/~desousa/ocamlpcsc/" ; "Hardware" ; "OCamlPCSC" ; "Bindings with C libraries" ; "0.6" . """Some code to make it relatively easy to develop custom tree models using LablGTK (GTK+ 2.0 in OCaml). This means that you can have a tree structure coded naturally in OCaml and treat it more or less directly as a tree model, instead of having to shove values into a GTree.tree_store. There are some caveats as described in the README file.""" ; "Has a tutorial" ; "GPL" ; "http://www.twinoaks.org/members-exmembers/members/tupelo-schneck/robert/custom-model/" ; "Graphical toolkits" ; "Custom Tree Models for LablGTK" ; "Native OCaml libraries" ; "1.0" . "Apalogretrieve is a stand-alone program that provides a SQL-like interface for Apache-Logfile-Queries." ; "Has a documentation" ; "GPL" ; "http://www.first.in-berlin.de/software/tools/apalogretrieve/" ; "System files" ; "apalogretrieve" ; "Others" ; "0.9.6" . "OcamlFd is an extension library for the OCaml language, providing miscellaneous utility functions involving UNIX file descriptors." ; "LGPL" ; "http://oss.digirati.com.br/ocaml-fd/" ; "System programming" ; "OCamlFd" ; "Native OCaml libraries" ; "1.1.0" . "Wallace is a generic subtyping-constraint-handling library. It deals with constraint solving and simplification, and it is parameterized by the definition of a type algebra. Its goal is to serve as a plug-in component in the design of a constraint-based type-checker, regardless of the programming language being analyzed." ; "http://cristal.inria.fr/~fpottier/wallace/" ; "Typing" ; "Wallace" ; "Native OCaml libraries" ; "2002/11/02" . "A runtime value printer for OCaml, extremely experimental at the moment, use at your own risk." ; "Has a documentation" ; "GPL" ; "http://www.pps.jussieu.fr/~li/software/index.html#vprint" ; "Debugging" ; "Vprint" ; "Native OCaml libraries" ; "0.01" . "PG'OCaml is rather lacking on the documentation front. This document aims to fill that gap, by providing an overview of the capabilities of the library, usage examples, and solutions to potential pitfalls. Moreover, it also addresses the installation of PG'OCaml, how to compile programmes that make use of the library, and the correspondence between PostgreSQL data types and their OCaml counterparts." ; "http://www.dse.nl/~dario/projects/pgoctut/" ; "Databases" ; "A Brief Introduction to PG'OCaml" ; "Tutorials" ; "0.92" . """Camlp5 is a preprocessor-pretty-printer of ocaml. It is the continuation of the classical Camlp4 with new features. It is compatible with OCaml versions from 3.08.1 to 3.11 included.""" ; "Has a documentation" ; "Open Source" ; "http://pauillac.inria.fr/~ddr/camlp5/" ; "Language extensions" ; "Camlp5" ; "Development tools" ; "6.00" . """Library for Java .class file manipulation. Also a command-line [dis]assembler for Java.""" ; "Has a documentation" ; "LGPL" ; "http://barista.x9c.fr" ; "Code generators", "Programming languages" ; "Barista" ; "Native OCaml libraries" ; "2.0-alpha" . "Java port of ocamlrun, runtime support for Cafesterol." ; "Has a documentation" ; "LGPL" ; "http://cadmium.x9c.fr" ; "Interpreters", "Software development" ; "Cadmium" ; "Java libraries" ; "1.0-alpha" . "Extension of the Objective Caml compiler suite producing Java binaries (.class/.jar files)." ; "Has a documentation" ; "QPL" ; "http://cafesterol.x9c.fr" ; "Compilers" ; "Cafesterol" ; "Development tools" ; "1.0-alpha" . "Bridge/Bindings generator for Java/Objective Caml integration." ; "Has a documentation" ; "GPL" ; "http://nickel.x9c.fr" ; "Code generators", "Compilers" ; "Nickel" ; "Development tools" ; "1.0-alpha" . """coThreads is a concurrent programming library for OCaml. It enhances the Threads library of the standard OCaml distribution in two dimensions: coThreads implements the same API of the standard Threads library on different execution engines (process, netwoker(todo)), so that a single copy of source code can be compiled and deployed to different environments without modification; coThreads is also a super set of the standard Threads library, with extra components (STM etc.), functions (spawn etc.) and features (object-level compatibility etc.). """ ; "Has a documentation" ; "GPL" ; "http://cothreads.sourceforge.net/" ; "Distributed and parallel programming" ; "coThreads" ; "Native OCaml libraries" ; "0.10" . "A vim plugin to handle annot files." ; "Has a documentation" ; "http://www.vim.org/scripts/script.php?script_id=2025" ; "Editor modes" ; "Camlanot.vim" ; "Development tools" ; "0.9" . "OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure." ; "LGPL", "Open Source" ; "http://ocaml-reins.sourceforge.net/" ; "OCaml Reins" ; "Native OCaml libraries" ; "0.1" . "This document introduces Objective Caml (version 3.01). It does not go into the object-oriented features, however." ; "http://www.csc.vill.edu/~dmatusze/resources/ocaml/ocaml.html" ; "A Concise Introduction to Objective Caml" ; "Tutorials" . "An Emacs minor mode for automatic look up OCaml Info files." ; "http://oandrieu.nerim.net/ocaml/caml-info-look.el" ; "Editor modes" ; "caml-info-look" ; "Development tools" ; "0.9" . "A weak hash table library for OCaml, with an interface compatible with the standard Hashtbl library." ; "Has a documentation" ; "http://www.pps.jussieu.fr/~li/software/index.html#weaktbl" ; "Data structures" ; "Weaktbl" ; "Native OCaml libraries" ; "0.02" . "OCamlScripting is an implementation of the Java JSR223 Scripting API (this API is defined by the javax.script package) for the Objective Caml language. It thus provides a script engine that allows execution of Objective Caml code snippets in a Java application." ; "LGPL" ; "http://ocamlscripting.x9c.fr/" ; "Interpreters" ; "OCamlScripting" ; "Java libraries" ; "1.0" . "A high-level combinatorial dataflow programming library based upon destructive lazy streams." ; "Has a documentation" ; "LGPL" ; "http://www.pps.jussieu.fr/~li/software/index.html#sdflow" ; "Data structures" ; "SDFlow" ; "Native OCaml libraries" ; "0.01" . "Some camlp4 syntax extensions to write more compact code using objects." ; "Has a documentation" ; "http://www.math.nagoya-u.ac.jp/~garrigue/code/ocaml.html" ; "Language extensions" ; "pa_oo" ; "Camlp4 extensions" . "This is a tiny module combined with a camlp4 extension, which allows you to define polymorphic mappings, where the type of the data depends on the key." ; "Has a documentation" ; "http://www.math.nagoya-u.ac.jp/~garrigue/code/ocaml.html" ; "Language extensions", "Typing" ; "pa_polymap" ; "Camlp4 extensions", "Native OCaml libraries" . "Z3 is a new high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is still under development, but it has already been integrated with Spec#/Boogie, and HAVOC. We are currently integrating Z3 with Pex, SAGE, Yogi, Vigilante, and SLAM. It can read problems in SMT-LIB and Simplify formats." ; "Has a documentation" ; "Other/Proprietary License" ; "http://research.microsoft.com/projects/z3/" ; "Maths and Logic" ; "Z3" ; "Scientific software" ; "1.1" . """Marionnet is a virtual network laboratory: it allows users to define, configure and run complex computer networks without any need for physical setup. Only a single, possibly even non-networked GNU/Linux host machine is required to simulate a whole Ethernet network complete with computers, routers, hubs, switchs, cables, and more. Support is also provided for integrating the virtual network with the physical host network. As Marionnet is meant to be used also by inexperienced people, it features a very intuitive graphical user interface. """ ; "Has a documentation" ; "GPL" ; "http://www.marionnet.org/" ; "Communications and networking" ; "Marionnet" ; "Scientific software" ; "0.90.6" . "OCaml light is a formal semantics for a substantial subset of the Objective Caml language. It is written in Ott, and it comprises a small-step operational semantics and a syntactic, non-algorithmic type system. A type soundness theorem has been proved and mechanized using the HOL-4 proof assistant, thereby ensuring that the proof is free from errors. To ensure that the operational semantics accurately models Objective Caml, an executable version of the semantics has been created (and proved equivalent in HOL to the original, relational version) and tested on a number of small test cases." ; "Has a documentation" ; "http://www.cl.cam.ac.uk/~so294/ocaml/" ; "Typing" ; "OCaml light" ; "Scientific papers", "Scientific software" . "nmag is a micromagnetic simulation package based on the general purpose multi-physics library nsim. It is developed using Python and OCaml and interfaces both." ; "Has a documentation" ; "GPL" ; "http://nmag.soton.ac.uk" ; "Physics" ; "nmag" ; "Scientific software" ; "0.1beta" . """Aurochs is a parser generator that uses the parse expression grammar (PEG) or \"packrat\" approach. It takes a grammar in a BNF-like notation (a .peg file) and produces bytecode (a .nog file) for a stack automaton. This bytecode is later interpreted on the input to parse using a C library. Bindings are given for Ocaml and Java. Aurochs can also directly produce C or Ocaml code for parsing. It is in use at Exalead where we use it daily to parse real-world Javascript.""" ; "LGPL" ; "http://aurochs.fr/" ; "Lexing and parsing" ; "Aurochs" ; "Development tools" ; "v60" . "A tool to create hilighted html pages from OCaml files (.ml, .mli, .mll and .mly)." ; "GPL" ; "http://martin.jambon.free.fr/caml2html.html" ; "Documentation generation", "Publishing" ; "caml2html" ; "Development tools" . "Ocaml language bindings for plplot plotting library." ; "LGPL" ; "http://ocaml-plplot.googlecode.com/" ; "2D graphics" ; "PLPlot" ; "Bindings with C libraries" ; "5.8.0" . """Nurpawiki is a personal information manager (PIM) application that combines a wiki, a to-do list and a simple scheduler to help you get organized. It aims to ease note taking and action planning. Actions (to-dos) are always associated with notes or plans (wiki pages).""" ; "Has a tutorial" ; "GPL" ; "http://code.google.com/p/nurpawiki/" ; "Servers and clients" ; "Nurpawiki" ; "Web application" . "http://www-rocq.inria.fr/~thomasse/Labltk/Tutoriel_FT/" ; "Graphical toolkits" ; "A mini-tutorial on labltk" ; "Tutorials" . "Jsure is a \"lint\" for Javascript, which is also known as Ecmascript. It checks syntax and a little bit of semantics." ; "Has a documentation" ; "LGPL" ; "http://jsure.org" ; "Program analysis" ; "Jsure" ; "Development tools" ; "1.0.1" . """OCaml bindings for the Ming library, a library to create Flash animations.""" ; "http://www.linux-nantes.org/~fmonnier/OCaml/ming/" ; "2D graphics", "Video" ; "OCaml-Ming" ; "Bindings with C libraries" ; "0.01a" . """ This package provides OpenGL bindings for OCaml. There is a module for GL, Glu and Glut, and also a small jpeg loader module. The names of the functions are the same than in the C API. Some test files are provided, and also some of the demonstration code samples from the red-book converted in OCaml. """ ; "http://www.linux-nantes.org/~fmonnier/OCaml/GL/" ; "3D graphics" ; "glMLite" ; "Bindings with C libraries" ; "0.03.17" . """This is an OCaml binding for Allegro. Allegro is a cross-platform library intended for use in computer games and other types of multimedia programming.""" ; "http://www.linux-nantes.org/~fmonnier/OCaml/Allegro/" ; "2D graphics", "Games", "Multimedia" ; "OCaml-Allegro" ; "Bindings with C libraries" ; "20071223" . """ The goal of this project is to provide access to Mac OS X's APIs from OCaml. The project focuses on the set of APIs referred to as \"Cocoa\", that is APIs based on Objective C artefacts (classes, objects, protocols, methods). With such access to Cocoa's APIs, it is expected that OCaml programmers would be able to design, develop and build native MacOSX applications with ease. Some features are explicitly out of scope: - general support of C-type apis (structs) - general support for Objective C (this project is targetted at Mac OS X) - platforms different from MacOSX The targetted user is an intermediate level developer, at ease with all of OCaml constructs (including modules, classes, labels) and with Cocoa programming. """ ; "BSD" ; "http://code.google.com/p/objective-c-caml-bridge/" ; "Programming languages" ; "Objective C - Objective Caml bridge for Mac OS X" ; "Bindings with C libraries" . "sk' is intended to allow experimentation with combinatory logic." ; "http://fabrice.marchant.free.fr/sk/" ; "Maths and Logic" ; "sk" ; "Toys - Examples" . """ VisualML is an OCaml project wizard for Microsoft Visual Studio. It enables easy creation, compilation and errors corrections of OCaml projects under Visual Studio. """ ; "Other/Proprietary License" ; "http://tech.motion-twin.com/" ; "Development environments" ; "Visual ML" ; "Development tools" . "Another print anything module." ; "Has a tutorial" ; "LGPL" ; "http://www.geocities.com/tmp_456/dump/index.html" ; "Debugging" ; "OCaml Dump" ; "Native OCaml libraries" ; "0.2 beta" . """/UbiEst/ is intended to be a indexer, allowing *structural* and *compound* searches into a \"bunch\" of documents (files). What is an indexer ? An indexer is a program recording the occurrences of words among documents and enable to point on them (quickly if possible). A detailled explanation is available in the distribution, but in two or three words... By *structural* indexing, we mean that /UbiEst/ not only maps words onto their locations, but also structures of the indexed documents. By *compound* indexing, we mean that /UbiEst/ does not allow to request to find occurrences of simple words among the indexed document. requests can be combined by the mean of operators. By combining requests, you not only get simple occurrences of words, but rather /extends/ (i.e. piece of text) containing information fitting you global request. /UbiEst/ is developped in Objective Caml and a graphical user interface based on Gtk (Lablgtk) is available.""" ; "http://francois.pessaux.neuf.fr/creations.html" ; "Data structures" ; "/UbiEst/" ; "Applications written in Caml" ; "1.5" . """CamlX is a Wrapper for the OCaml (or Caml Ligth) toplevel environment. CamlX can be used without a previously installed Caml distribution, indeed it include a Caml Light version. But it is possible to use your own version of Caml (you must specify the path in the preferences menu). """ ; "http://www.iapp-z.com/camlx/" ; "Development environments" ; "CamlX" ; "Development tools" ; "1.2" . "OCamlPAM is a wrapper for the Pluggable Authentication Modules (PAM) library. PAM provides a flexible mechanism for authenticating users via administrator-defined policies." ; "MIT/X11" ; "http://sharvil.nanavati.net/projects/ocamlpam/" ; "File systems and system administration" ; "OCamlPAM" ; "Bindings with C libraries" ; "1.0" . """The goal of the OCaml-Java project is to allow seamless integration of OCaml and Java.""" ; "GPL", "LGPL", "QPL" ; "http://ocamljava.x9c.fr" ; "Compilers" ; "OCaml-Java" ; "Development tools" ; "1.4" . """Newt is a simple text window system, designed as a better replacement for systems such as dialog. It is used in the Red Hat text mode installer (anaconda). This is a set of bindings for calling newt from OCaml programs.""" ; "http://et.redhat.com/~rjones/ocaml-newt/" ; "Text interfaces" ; "OCaml-newt" ; "Bindings with C libraries" ; "0.1" . """The Game of Life. Features : zoom in/out capability, run at different speeds or by steps, drag the view even when it runs, shapes, colours, grids selections, support standard life file format for input / output, can show next state information with colours or shapes, undo / redo.""" ; "http://fabrice.marchant.free.fr/siteOCaml/funLife/funLife.html" ; "Games" ; "FunLife" ; "Toys - Examples" ; "051207" . """An OCaml program that outputs the set of N-edged graphs (polynema) to a standard .dot file. """ ; "http://fabrice.marchant.free.fr/siteOCaml/n-edged/n-edged.html" ; "2D graphics", "Data structures" ; "N-edged undirected graphs" ; "Toys - Examples" . """An advanced scheduler. The basics of this scheduler is to implement a wrapper around Unix.select in order to be able to wait for events on a socket and/or a given delay and execute a task when one of the waited events occured. """ ; "GPL" ; "http://www.rastageeks.org/duppy.html" ; "System programming" ; "ocaml-duppy" ; "Native OCaml libraries" ; "0.1.0" . """LEGO Mindstorm® is a versatile robotic construction kit. The central component is the programmable NXT brick to which one can connect up to three motors and various sensors. The brick can run programs directly uploaded to it or can be controlled via bluethooth or USB. This library allows you to communicate with — and drive — your NXT brick from OCaml programs through a bluetooth connection. The full LEGO® communication protocol (including all \"direct commands\") is supported. This library has been tested on Linux, Windows (without the fantom drivers installed) and Mac OSX.""" ; "Has a documentation" ; "LGPL" ; "http://forge.ocamlcore.org/projects/ocaml-mindstorm/" ; "Robotics" ; "Lego Mindstorm Library" ; "Native OCaml libraries" ; "0.5.2" . "An interface to the Lapack and Blas Fortran libraries which aims to improve the clarity and efficiency of numerical algorithms implemented in OCaml." ; "Has a documentation", "Has a tutorial" ; "http://www.mirrorsky.com/ocaml/" ; "Numeric computation" ; "CamlFloat" ; "Bindings with Fortran libraries" ; "0.1" . """This project makes use of the Ocaml release 3.10 macro system to add break and continue statements to for and while loops. The macros implement these statements as exceptions. Since the introduction of the two try/with blocks corresponding (each) to the (separate) break and continue exceptions includes some overhead at run time, the macro adds these try/with blocks sparingly... only if the programmer uses the corresponding statement. For example, the continue statements adds the most overhead since it causes a try/with block to be inserted within a loop. However, code that contains no continue statement will be unaffected by the macro. """ ; "LGPL" ; "http://code.google.com/p/ocaml-break-continue/" ; "Language extensions" ; "pa_breakcont" ; "Camlp4 extensions" ; "0.12" . """The ocaml-bitstring project adds Erlang-style bitstrings and matching over bitstrings as a syntax extension and library for OCaml. (This project was formerly known as \"bitmatch\"). You can use this module to both parse and generate binary formats, files and protocols. Bitstring handling is added as primitives to the language, making it exceptionally simple to use and very powerful. """ ; "LGPL" ; "http://code.google.com/p/bitstring/" ; "Data structures" ; "Bitstring" ; "Camlp4 extensions" ; "2.0.2" . """A library for communicating between python and OCaml, together with a little proof-of-concept interface to WxPython, as a first step towards a better GUI tool for OCaml.""" ; "BSD" ; "http://coherentgraphics.blogspot.com/2008/04/proper-gui-for-ocaml-part-two.html" ; "Compilers" ; "CamlPy" ; "Development tools" ; "0.1" . "Hides toplevel values whose name starts with an underscore." ; "Has a Godi package", "Has a documentation" ; "Open Source" ; "http://martin.jambon.free.fr/ocaml.html#tophide" ; "Development environments" ; "Tophide" ; "Native OCaml libraries" ; "1.0.0" . "OCaml-R provides bindings to the R math library and the R library usable to embed R in your application." ; "Has a tutorial" ; "GPL" ; "http://home.gna.org/ocaml-r/" ; "Maths and Logic" ; "OCaml-R" ; "Bindings with C libraries" ; "0.2" . """An OCaml curses editor to write coloured texts or draw things. """ ; "GPL" ; "http://fabrice.marchant.free.fr/cursico/080415/" ; "2D graphics", "Text interfaces" ; "Cursico" ; "Development tools" ; "080415" . "An unfunctorized version of Set and Map." ; "LGPL" ; "http://abaababa.ouvaton.org/caml/xsetxmap.php" ; "Data structures" ; "Xsetxmap" ; "Native OCaml libraries" ; "2008-04-21" . "Redditwatcher is an Ocaml program that follows the evolution of the scores (up and downvotes, number of comments) of stories appearing on Reddit. Typically, it takes the 50 newest stories and samples their scores at reasonable intervals, writing results into little marshalled files that can be converted to gnuplottable and R-loadable files." ; "http://abaababa.ouvaton.org/caml/redditwatcher.php" ; "Communications and networking" ; "Redditwatcher" ; "Toys - Examples" . """Chipmunk is a rigid body physics library, designed for 2D video games. It is intended to be fast, numerically stable, and easy to use.""" ; "GPL", "MIT/X11" ; "http://www.linux-nantes.org/~fmonnier/OCaml/Chipmunk/" ; "2D graphics" ; "Bindings for Chipmunk" ; "Bindings with C libraries" ; "0.01" . "Binkohp is a little game inspired by the Mah-jong and extended to 3D." ; "GPL" ; "http://www.linux-nantes.org/~fmonnier/OCaml/GL/binkohp.php" ; "3D graphics", "Games" ; "Binkhop" ; "Toys - Examples" ; "0.01" . """A ViM extension that is able to parse .annot files and print the type of an highlighted (visual mode) part of an ocaml source file.""" ; "GPL" ; "http://www.bononia.it/~zack/stuff/ocaml-dtypes.vim" ; "Editor modes" ; "Vim support for .annot files" ; "Development tools" . "This tutorial explains how to mix OCaml and C code (function calls, data types, finalisation, compilation with a C library)." ; "GFDL" ; "http://www.linux-nantes.org/~fmonnier/OCaml/ocaml-wrapping-c.php" ; "Languages interfaces" ; "Mixing OCaml and C" ; "Tutorials" . "Jane Street's alternative to the standard library." ; "LGPL" ; "http://www.janestreet.com/ocaml" ; "General purpose libraries" ; "Jane Street's core library" ; "Native OCaml libraries" ; "0.7.0" . "A binary protocol generator." ; "LGPL" ; "http://ocaml.janestcapital.com/?q=node/13" ; "Other protocols" ; "Bin-prot" ; "Native OCaml libraries" ; "1.0.5" . "Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C." ; "LGPL" ; "http://frama-c.com" ; "Program analysis" ; "Frama-C" ; "Scientific software" ; "Boron-20100401" . """A quite simple program to do some basic routing over Open Streat Map maps. It parses an .osm.bz2 file, creates a compact data structure in memory (which is saved into a cache to speed up next searches), finds the OSM nodes closest to the source and goal points given as (latitude, longitude) couples, does the routing itself, prints it on the screen and saves it in .osm XML format (for example to load it into JOSM). """ ; "BSD", "GPL" ; "http://www.linux-france.org/cgi-bin/hgwebdir.cgi/ocaml-osm-route/latest" ; "Data structures", "XML formats" ; "ocaml-osm-route" ; "Native OCaml libraries" . """Oug is a code analysis tool building reference graphs from OCaml code, that is graphs representing which elements (value, module, class, ...) reference which elements. It comes with the Ouglib library to be able to embed the analyzer in other OCaml applications. From the graph, various outputs can be obtained: list of elements not referenced anywhere (useless elements and so potential dead code), various graphiz graphs, ... """ ; "Has a tutorial" ; "GPL" ; "http://oug.forge.ocamlcore.org/" ; "Program analysis" ; "Oug" ; "Development tools" ; "2.0-alpha" . """Uuidm is an OCaml module implementing 128 bits universally unique identifiers version 3, 5 (name based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122. Uuidm is made of a single, independent, module and distributed under the new BSD license.""" ; "Has a documentation" ; "BSD" ; "http://erratique.ch/software/uuidm" ; "Data structures" ; "Uuidm" ; "Native OCaml libraries" ; "0.9.0" . """an implementation of the OAuth 1.0 protocol for OCaml, as well as an OCaml binding to Skydeck web API (providing access to your cell phone call log).""" ; "http://skydeck.com/blog/announcements/skydeck-api-and-oauth-for-ocaml/" ; "Other protocols", "WWW/HTTP" ; "Ooauth" ; "Native OCaml libraries" ; "0.1" . """LFS is a very expressive file system coded in OCaml. LFS enables the user to access his files through an additionnal mountpoint, /lfs, where powerful logic queries can be issued and navigation can be done through different dimensions, like date, size, or extension.""" ; "Has a documentation", "Has a tutorial" ; "GPL" ; "http://padator.org/wiki/wiki-LFS/doku.php" ; "File systems and system administration" ; "Logic File System" ; "Scientific software" ; "0.5" . "Bisect is a coverage tool for the Objective Caml language. It is a camlp4-based tool that allows to instrument your application before running tests. After application execution, it is possible to generate a report in HTML format that is the replica of the application source code annotated with code coverage information." ; "GPL" ; "http://bisect.x9c.fr/" ; "Testing" ; "Bisect" ; "Development tools" ; "1.1" . """A small library (a module in fact) that is meant to make it easy to produce pretty-printed text. The data to be printed goes through a tree that carries all the information required for pretty-printing. After that, a single call to Easy_format.Pretty.to_stdout (for instance) outputs the indented result.""" ; "Has a documentation" ; "BSD" ; "http://martin.jambon.free.fr/easy-format.html" ; "Strings manipulation" ; "Easy-format" ; "Native OCaml libraries" ; "0.9.0" . "Objsize is a small OCaml library for computing size of OCaml values. It computes count of words used for values, count of values' headers, maximal depth of values. There are functions to get size of values in bytes too." ; "BSD" ; "http://forge.ocamlcore.org/projects/objsize/" ; "Software development" ; "Objsize" ; "Native OCaml libraries" ; "0.11" . """The goal of Micmatch is to make text-oriented programs even easier to write, read and run without losing the unique and powerful features of Objective Caml (OCaml). Micmatch provides a concise and highly readable syntax for regular expressions, and integrates it into the syntax of OCaml thanks to Camlp4. """ ; "Has a documentation" ; "BSD" ; "http://martin.jambon.free.fr/micmatch.html" ; "Language extensions" ; "Mikmatch" ; "Camlp4 extensions" ; "1.0.0" . """'Concurrent Cell' is a library for multi-thread programming with CML(Concurrent ML) style synchronous message passing communications. The Threads library, a part of OCaml, realizes the CML style event value, but does not support shared variables like ivar and mvar. This library implements these variables without creating any new thread. This means that ivar and mvar are lightweight and GC target.""" ; "LGPL" ; "http://forge.ocamlcore.org/projects/ccell" ; "RPC", "System programming" ; "Concurrent Cell" ; "Native OCaml libraries" ; "3.0beta2" . """A camlp4 extension enabling backward declarations. The \"where\" keyword, available in the revised syntax, and one of the truly missed Caml-light friends, is back.""" ; "Has a documentation" ; "LGPL" ; "http://bluestorm.info/camlp4/pa_where/list.php" ; "Language extensions" ; "pa_where" ; "Camlp4 extensions" ; "0.4" . "These are a collection of monitoring and management tools for virtual machines. " ; "Has a documentation" ; "GPL" ; "http://et.redhat.com/~rjones/virt-mem/" ; "System programming" ; "virt-mem" ; "Scientific software" ; "0.2.9" . "A functional-reactive approach for developing distributed systems in Objective Caml. In Opis, a protocol description consists of a reactive function (called event function) describing the behavior of a distributed system node. The event functions in Opis are built from pure functions as building blocks, composed using the Arrow combinators. This facilitates reasoning about event functions both informally and using interactive provers. For example, this approach leads to simple termination arguments. " ; "Has a documentation" ; "http://perso.eleves.bretagne.ens-cachan.fr/~dagand/opis/" ; "Distributed and parallel programming" ; "Opis" ; "Native OCaml libraries" . """Orpc is a tool for generating RPC clients and servers. It can generate clients / servers for use with Ocamlnet's ONC RPC implementation (like ocamlrpcgen), and also for RPC over HTTP for use with ocamljs. To describe interfaces, you give orpc an OCaml signature instead of an RFC-1831/1832-format file. Most OCaml types (including polymorphic types), exceptions, and functions with labelled/optional arguments are supported.""" ; "Has a documentation" ; "LGPL" ; "http://github.com/jaked/orpc" ; "Code generators", "RPC" ; "Orpc" ; "Development tools", "Native OCaml libraries" ; "0.3" . """Batteries Included is a candidate standard development platform for OCaml.""" ; "LGPL", "QPL" ; "http://batteries.forge.ocamlcore.org/" ; "Compilers", "Data structures", "Development environments" ; "OCaml Batteries Included" ; "Development tools" ; "1.4.0" . "A library for Objective Caml allowing SIMD parallel processing on PowerPC G4 processor using the Altivec vector processing unit." ; "http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/camlg4.html" ; "Distributed and parallel programming" ; "CamlG4" ; "Native OCaml libraries" ; "1.00" . """A small compiler patch which extends -annot option and records all the variable definition locations, so that we can jump from variable uses to their definitions easily from editors such as emacs.""" ; "http://www.furuse.info/jun/hacks/ocamlspotter" ; "Development environments" ; "OCamlspotter" ; "Development tools" ; "1.3.0" . """A system to interface OCaml and .Net/C#. CSML makes it possible to leverage existing .Net components from OCaml, to expose OCaml libraries into the .Net world and more generally to write mixed OCaml/.Net applications. With CSML, developers write scripts that describe interactions between the two worlds (OCaml and .Net). It is possible to bind functions, static or instance methods, properties, to pass opaque pointers from one heap to the other, or to copy values structurally. CSML preserves type safety properties from the two worlds, it propagates exceptions and first-class functions in a sound way and it deals automatically with memory management.""" ; "Has a documentation" ; "LGPL", "Other/Proprietary License" ; "http://www.lexifi.com/csml/" ; "Compilers", "Development environments" ; "csml" ; "Development tools" ; "0.1" . """Dum is a library for inspecting the runtime representation of arbitrary Objective Caml values. Shared or cyclic data are detected and labelled. This guarantees that printing would always terminate. This makes it possible to print values such as closures, objects or exceptions in depth and without risk. """ ; "Has a documentation" ; "LGPL" ; "http://oss.wink.com/dum/" ; "Data structures" ; "Dum" ; "Native OCaml libraries" ; "1.0.0" . """An ocamlbuild plugin that supports compiling C and C++ cross platform using ocamlbuild only. Variant builds - can build many different variants from the same source tree. For example static libraries, test builds, debug, optimization, linking or not linking with some other code, different platform builds etc. Automic recursive header file generation - needed for pulling source into _build directory. It used to be able to rebuild on header file change, but it has regressed - it is possible that .stamp files do not hold signatures of dependencies of dependencies or something. It has not been tested on Windows, but build rules have been copied from old build scripts so it should not be that hard to get going.""" ; "Has a documentation" ; "MIT/X11" ; "http://git.dvide.com/pub/ocamlbuild-ctools" ; "Build tools" ; "ocamlbuild-ctools" ; "Development tools" ; "0.1.0" . """This is a meta build system. It is implemented as an ocamlbuild plugin. It checks out source code from repositories and starts builds of individual components. Because ocamlbuild doesn't support linking additional files, a lot of different code is collected in a single file. This includes a JSON parser for configuration files. Symbiosis tries to avoid the problem of collecting all source dependencies in one large tree, or alternatively installing dependencies on the system. The former makes it difficult to change dependent component versions. The latter makes it difficult to quickly test different build version complicates developer setup. Correctly configured, just call ocamlbuild with a target for the top most component to build. All the source should be appear in the working directory and build. Initially it can be complex to set up, but once done, it is rather easy to add new components with interesting dependencies. """ ; "Has a documentation" ; "MIT/X11" ; "http://git.dvide.com/pub/symbiosis" ; "Build tools" ; "Symbiosis" ; "Development tools" ; "0.1.0" . "GenePool is a framework for writing evolutionary optimization algorithms in OCaml. This library is not a complete solution but rather is a generic skeleton which takes care of the plumbing and nuisances of optimization. You provide GenePool with functions that give meaning to fitness and reproduction and after a specified number of generation, GenePool returns an array of the best \"genomes\" it evolved." ; "Has a documentation" ; "LGPL" ; "http://www.rubinsteyn.com/genepool/" ; "Computing" ; "GenePool" ; "Native OCaml libraries" . """This is a trivial wrapper around libc's glob(3) function for OCaml. The Glob module interface contains a single function, glob. This function takes a string argument possibly containing shell wildcards, and returns an array containing the names of the file system entries matching it. """ ; "MIT/X11" ; "http://github.com/andrenth/ocaml-glob/" ; "File systems and system administration" ; "ocaml-glob" ; "Bindings with C libraries" ; "0.1.0" . "A simple module for shell scripting in OCaml. " ; "Has a documentation" ; "LGPL" ; "http://zheng.li/projects/ocaml/camlish" ; "Shell programming" ; "Camlish" ; "Native OCaml libraries" ; "0.03" . """An Ocaml interface to MetaPost, a powerful software to draw pictures to be embedded in LaTeX documents.""" ; "Has a documentation" ; "LGPL" ; "http://mlpost.lri.fr/" ; "2D graphics", "Publishing" ; "Mlpost" ; "Scientific software" ; "0.8.0" . """Yet Another C/C++ Front-End, which is an OCaml API to write style-preserving source-to-source transformations such as refactorings on C or C++ source code. """ ; "GPL" ; "http://aryx.kicks-ass.org/~pad/software-yacfe.php" ; "Program analysis" ; "Yacfe" ; "Native OCaml libraries" ; "0.2" . "OpenGL bindings for OCaml." ; "BSD" ; "http://sourceforge.net/projects/camlgl/" ; "3D graphics" ; "CamlGL" ; "Bindings with C libraries" ; "0.9" . "estring, which stands for `extended strings' is a library with a syntax extension allowing to see strings as lists of characters. It also define a new safe and extensible printf/scanf facility." ; "BSD" ; "http://estring.forge.ocamlcore.org/" ; "Strings manipulation" ; "estring" ; "Native OCaml libraries" ; "0.1" . "OCaml bindings for the Xlib library.Also includes GLX for OpenGL windowing." ; "GPL" ; "http://www.linux-nantes.org/~fmonnier/OCaml/Xlib/" ; "2D graphics", "3D graphics", "X" ; "OCaml-Xlib" ; "Bindings with C libraries" . "mltree is similar to the unix command line utility 'tree', but with some differences." ; "GPL" ; "http://www.linux-nantes.org/~fmonnier/OCaml/mltree/" ; "File systems and system administration" ; "mltree" ; "Toys - Examples" . """O'Browser is an implementation of the OCaml virtual machine in JavaScript, designed to run in web browsers. It features a runtime library compatible with OCaml's standard one (including OOP and concurrent threads) and bindings of some JavaScript functions to manipulate the DOM primitives.""" ; "Has a tutorial" ; "LGPL" ; "http://ocsigen.org/obrowser/" ; "WWW/HTTP" ; "O'Browser" ; "Web application" ; "1.1" . """A Linux -> Win32 OCaml cross-compiler, developed and sponsored by Red Hat's Fedora MinGW project[1]. Red Hat are sponsoring this project so that we can build our OCaml virt tools for Windows without the hassle of using Windows. """ ; "http://caml.inria.fr/pub/ml-archives/caml-list/2008/11/48e7c6b3a40e5fa1d9555a3447820161.fr.html" ; "Compilers" ; "Linux - Win32 cross compiler" ; "Development tools" . "Kaputt is a testing tool for the Objective Caml language." ; "GPL" ; "http://kaputt.x9c.fr" ; "Testing" ; "Kaputt" ; "Development tools" ; "1.1" . "Blahcaml provides basic Ocaml bindings to the Blahtex library. Blahtex is written in C++, and aims at the conversion of TeX equations into MathML." ; "GPL" ; "http://blahcaml.forge.ocamlcore.org/" ; "Publishing" ; "Blahcaml" ; "Bindings with C libraries" ; "2.0" . "Camlhighlight provides syntax highlighting and pretty-printing facilities for displaying code samples in Ocsigen applications. The library works by parsing the output of Highlight, a widely available application supporting the most common programming and markup languages. " ; "Has a documentation" ; "GPL" ; "http://camlhighlight.forge.ocamlcore.org/" ; "Publishing" ; "Camlhilight" ; "Native OCaml libraries" ; "1.0" . "Delimited overloading is a syntax extension to ease the writing of efficient arithmetic expressions in OCaml." ; "Has a documentation" ; "LGPL" ; "http://pa-do.forge.ocamlcore.org/" ; "Language extensions" ; "Delimited overloading" ; "Camlp4 extensions" . "A character animation player with LablGL, for models from Shadow of the colossus game." ; "http://repo.or.cz/w/dormin.git" ; "3D graphics" ; "Dormin" ; "Others" . "Unison is a file-synchronization tool for Unix and Windows. (It also works on OSX to some extent, but it does not yet deal with 'resource forks' correctly; more information on OSX usage can be found on the unison-users mailing list archives.) It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other." ; "Has a Godi package", "Has a documentation" ; "GPL" ; "http://www.cis.upenn.edu/~bcpierce/unison" ; "FTP", "File systems and system administration" ; "Unison" ; "Major applications" ; "2.9.1" . "daml is an OCaml binding to the CUDA API." ; "https://forge.ocamlcore.org/projects/daml/" ; "3D graphics", "Hardware" ; "daml" ; "Bindings with C libraries" . "Camlp4 syntax extension for optional compilation with cpp-like directives. " ; "Has a documentation" ; "BSD" ; "http://optcomp.forge.ocamlcore.org/" ; "Language extensions" ; "Optcomp" ; "Camlp4 extensions" ; "1.0" . """React is an OCaml module for functional reactive programming (FRP). It provides support to program with time varying values : applicative events and signals. React doesn't define any primitive event or signal, this lets the client chooses the concrete timeline. """ ; "Has a documentation" ; "BSD" ; "http://erratique.ch/software/react" ; "Distributed and parallel programming" ; "React" ; "Native OCaml libraries" ; "0.9.1" . """Rtime is an OCaml module implementing timelines for React [1]. It manages time stamp events, delayed events and delayed signals along timelines. The client chooses the concrete timeline by providing an absolute notion of time. Running the timeline at the appropriate pace is left to the client. """ ; "Has a documentation" ; "BSD" ; "http://erratique.ch/software/rtime" ; "Distributed and parallel programming" ; "Rtime" ; "Native OCaml libraries" ; "0.9.1" . "OCaml stdlib replacement with a Haskellish flavour." ; "Open Source" ; "http://github.com/kig/preludeml/tree/master" ; "Distributed and parallel programming" ; "Preludeml" ; "Native OCaml libraries" . """Following the Perl Cookbook (by Tom Christiansen and Nathan Torkington, published by O'Reilly) spirit, the PLEAC Project aims to gather fans of programming, in order to implement the solutions in other programming languages. In this document, you'll find an implementation of the Solutions of the Perl Cookbook in the Objective CAML language.""" ; "http://pleac.sourceforge.net/pleac_ocaml/index.html" ; "General purpose libraries" ; "OCaml PLEAC" ; "Exercices" . """Melt is a set of libraries and tools which allows you to program LaTeX documents using OCaml. This combines the typesetting power of LaTeX with the programming power of OCaml. It can be combined with Mlpost to include figures.""" ; "Has a documentation" ; "BSD" ; "https://forge.ocamlcore.org/projects/melt/" ; "Publishing" ; "Melt" ; "Native OCaml libraries", "Scientific software" ; "1.1.0" . "Mini Gosix is a small program that allows you to play Gosix board game (by Pierre Canuel) against a computer opponent. There are selectable difficulty levels and GUI. Program is written in OCaml using TK widgets. " ; "GPL" ; "http://sourceforge.net/projects/minigosix/" ; "Games" ; "Mini Gosix" ; "Toys - Examples" ; "1.0" . "OSpec is syntax extension and supporting library for Behavior Driven Development in OCaml." ; "MIT/X11" ; "http://forge.ocamlcore.org/projects/ospec/" ; "Language extensions" ; "OSpec" ; "Camlp4 extensions" ; "0.2.0" . "Autoconf macros to support configuration of OCaml programs and libraries." ; "Has a documentation" ; "BSD" ; "https://forge.ocamlcore.org/projects/ocaml-autoconf/" ; "Build tools" ; "ocaml-autoconf" ; "Development tools" ; "1.1" . "CamlIDL is a stub code generator and COM binding for Objective Caml." ; "Has a documentation" ; "http://caml.inria.fr/camlidl/" ; "Code generators", "Languages interfaces" ; "CamlIDL" ; "Development tools", "Native OCaml libraries" ; "1.04" . """libguestfs is a library for accessing and modifying guest disk images. Amongst the things this is good for: making batch configuration changes to guests, getting disk used/free statistics (see also: virt-df), migrating between virtualization systems (see also: virt-p2v), performing partial backups, performing partial guest clones, cloning guests and changing registry/UUID/hostname info, and much else besides. libguestfs uses Linux kernel and qemu code, and can access any type of guest filesystem that Linux and qemu can, including but not limited to: ext2/3/4, btrfs, FAT and NTFS, LVM, many different disk partition schemes, qcow, qcow2, vmdk. libguestfs provides ways to enumerate guest storage (eg. partitions, LVs, what filesystem is in each LV, etc.). It can also run commands in the context of the guest. Also you can mount guest filesystems on the host (requires root privs and NFS). libguestfs is a library that can be linked with C and C++ management programs (or management programs written in OCaml, Perl or Python). You can also use it from shell scripts or the command line. """ ; "GPL" ; "http://et.redhat.com/~rjones/libguestfs/" ; "File systems and system administration" ; "libguestfs" ; "Bindings with C libraries" ; "0.9" . """Ocamljs compiles OCaml to Javascript. It uses the standard OCaml front-end, so the full language is supported (the object system is partially supported, should be fixed soon). Included are several libraries for Web programming, as well as a library for working with Javascript via Camlp4. It works with orpc for RPC over HTTP, and with froc for functional reactive browser programming.""" ; "Has a documentation" ; "LGPL", "QPL" ; "http://github.com/jaked/ocamljs" ; "Compilers" ; "OCamljs" ; "Development tools" ; "0.3" . """Froc is a library for function reactive programming in OCaml. The interface is similar to FrTime and FlapJax, but (of course) typed, implementing a monad of changeable values. The implementation is data-driven, using the dynamic dependency graphs of Acar et al.'s adaptive functional programming. Froc can be used with ocamljs, and with the included Froc-dom library can be used for web browser programming. """ ; "LGPL" ; "http://github.com/jaked/froc" ; "Distributed and parallel programming" ; "Froc" ; "Native OCaml libraries" ; "0.2" . "Amthing is a multi-threaded GUI library for Objective Caml." ; "LGPL" ; "http://forge.ocamlcore.org/projects/amthing/" ; "Graphical toolkits" ; "Amthing" ; "Native OCaml libraries" . "Diamondback Ruby (DRuby) is an extension to Ruby that aims to bring the benefits of static typing to Ruby without compromising the expressiveness of the language. " ; "Has a documentation", "Has a tutorial" ; "http://www.cs.umd.edu/projects/PL/druby/" ; "Program analysis" ; "DiamondBack Ruby" ; "Development tools" ; "20090421" . """Hydro is an independent implementation of ICE, the object-oriented RPC protocol by ZeroC, for the O'Caml programming language. Hydro (like ICE) allows you to bridge language barriers by letting components written in different programming languages communicate with each other. ZeroC's ICE product currently includes implementations for C++, Java, C#, Python, Ruby, VB, and PHP. Hydro adds support for O'Caml. The ICE protocol is rich enough to make the representation of the data to communicate easy and convenient to use, and adopts an object-oriented type system. ZeroC sees ICE as a superior successor to CORBA. """ ; "BSD" ; "http://oss.wink.com/hydro" ; "Code generators", "RPC" ; "Hydro" ; "Development tools" ; "0.7" . "Library for the (possibly distributed) simulation of networks of spiking neurons, with an emphasis on the quick and easy implementation of one's own neuron or synapse model." ; "GPL" ; "http://forge.ocamlcore.org/projects/camlspikes/" ; "Biology" ; "Camlspikes" ; "Native OCaml libraries" . "OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way." ; "BSD" ; "http://forge.ocamlcore.org/projects/ocaml-text/" ; "Strings manipulation" ; "ocaml-text" ; "Native OCaml libraries" ; "0.2" . """OCaml Metrics is a simple OCaml code analysis tool. It can compute some metrics of functions and modules: cyclomatic complexity, the number of lines of code, Halstead complexity measures (difficulty, volume and effort) and Maintainability Index. OCaml Metrics generates reports in three formats: HTML, simple XML or plain text. This allows developers to find parts of their projects which need refactoring in order to keep the projects easily maintainable. """ ; "GPL" ; "http://students.mimuw.edu.pl/~ms248283/ocaml-metrics/" ; "Program analysis" ; "OCaml Metrics" ; "Development tools" ; "0.51" . """Bolt is a logging tool for the Objective Caml language. It is inspired by and modeled after the famous log4j logging framework for Java. """ ; "Has a documentation" ; "LGPL" ; "http://bolt.x9c.fr" ; "Logging" ; "Bolt" ; "Native OCaml libraries" ; "1.2" . "We present in extenso the calculation-based development of a generic compositional reachability static analyzer for a simple imperative programming language by abstract interpretation of its formal rule-based/structured small-step operational semantics." ; "http://www.di.ens.fr/~cousot/COUSOTpapers/Marktoberdorf98.shtml" ; "Program analysis" ; "A generic abstract interpreter" ; "Scientific papers" . "An image processing library, which provides loading and saving various image formats with an interface for the Caml graphics library. It has also an interface with the freetype library to draw texts using truetype fonts." ; "Has a Godi package" ; "LGPL" ; "http://cristal.inria.fr/camlimages/eng.html" ; "2D graphics" ; "CamlImages" ; "Bindings with C libraries" ; "3.0.2" . """HANSEI is the the embedded domain-specific language for probabilistic programming: for writing potentially infinite discrete-distribution models and performing exact inference, importance sampling and inference of inference. HANSEI is an ordinary OCaml library, with probability distributions represented as ordinary OCaml programs. Delimited continuations let us reify non-deterministic programs as lazy search trees, which we may then traverse, explore, or sample. Thus an inference procedure and a model invoke each other as co-routines. Thanks to the delimited control, deterministic expressions look exactly like ordinary OCaml expressions, and are evaluated as such, without any overhead. Inference procedures and probabilistic models are both ordinary OCaml functions. Both may be defined and extended by library users; both may appear in each other's code. Performing inference on a model that includes calls to inference procedures lets us parameterize distributions by distributions, and lets inference procedures measure their own accuracy. One application is modeling agents reasoning about each other's limited reasoning. """ ; "Has a documentation" ; "http://okmij.org/ftp/kakuritu/" ; "Maths and Logic" ; "Hansei" ; "Native OCaml libraries" . "The Sql_orm package provides an “Object-Relational Mapper” interface between a Sqlite3 database and OCaml." ; "Has a documentation" ; "http://wiki.github.com/avsm/ocaml-orm-sqlite" ; "Databases" ; "ocaml-orm-sqlite" ; "Native OCaml libraries" ; "0.2" . """Syncweb is a command line tool enabling programmers to use the literate programming development methodology, using the noweb tool, while still being able to modify the generated files from the literate document. syncweb provides a way to \"synchronize\" the possibly modified original document with its possibly modified views with an interface similar to Unison. In addition, syncweb synchronizes data at a fine grained level by computing and storing md5sum of the different chunks.""" ; "Has a documentation" ; "http://aryx.kicks-ass.org/~pad/software/project-syncweb/" ; "Documentation generation" ; "Syncweb" ; "Development tools" ; "0.2" . "A source code tagger for OCaml that can be plugged in to GNU Global's tag set up. " ; "GPL" ; "http://sourceforge.net/projects/ocamlglobaltags" ; "Editor modes" ; "ocamlglobaltags" ; "Development tools" ; "1.0" . """WideStudio is an open source, Integrated Development Environment for desktop applications purely made in Japan. This enables you to develop GUI applications that can run on Windows95/98/Me/NT/2000/Xp/Vista, WindowsCE, Linux, FreeBSD, SOLARIS, MacOSX(w/X11), BTRON, T-Engine, mu-CLinux(wo/X11) in various programming languages such as C/C++, Java, Perl, Ruby, Python, Objective Caml. Since an application is build on MWT(Multi-Platform Widget Toolkit) which runs on multiple platforms, WideStudio applications are all source compatible between these platforms.""" ; "Has a documentation" ; "MIT/X11" ; "http://www.widestudio.org/EE/index.html" ; "Development environments" ; "WideStudio" ; "Development tools" ; "3.98" . "This plugin extends the support of NetBeans IDE for projects written in Objective Caml Language. " ; "Has a tutorial" ; "GPL" ; "http://ocamlplugin.loki-a.com" ; "Development environments" ; "OCaml plugin for the Netbeans IDE" ; "Development tools" . """RegSTAB is a SAT-solver able to deal with formula schemas: you can give it a scheme of formulas such as \"/\\i=1..n P_i -> P_i+1\" (where n is a variable) and it will be able to answer you if *all the formulas of this form (i.e. for every value of n) are unsatisfiable*, i.e. it can treat at once an infinite set of propositional formulas.""" ; "Public Domain" ; "http://regstab.forge.ocamlcore.org/" ; "Maths and Logic" ; "RegStab" ; "Scientific software" ; "1.4.4" . "The key idea of Ocamlviz is the ability to instrument an existing code, in real time, with lightweight monitoring annotations. Ocamlviz can also be used as a debugging tool. " ; "Has a documentation" ; "LGPL" ; "http://ocamlviz.lri.fr" ; "Debugging" ; "OCamlviz" ; "Development tools" . "pa_polyrec is a camlp4 extension providing polymorphic recursion." ; "MIT/X11" ; "https://forge.ocamlcore.org/projects/pa-polyrec/" ; "Language extensions" ; "pa_polyrec" ; "Camlp4 extensions" ; "0.1" . "Lwt is a library for cooperative threads in OCaml. It is using monadic style, which makes it really easy to use. With respect to preemptive threads, cooperative threads are not using a scheduler to distribute processor time between threads. Each thread must instead tell other threads that it wants them to continue. An uncooperative thread will keep other threads blocked until it has completed its work. " ; "Has a documentation" ; "LGPL" ; "https://ocsigen.org/lwt/" ; "Distributed and parallel programming" ; "Lwt" ; "Native OCaml libraries" ; "2.3.0" . """Ocaml-cry is an OCaml native implementation of the protocols used to send source data to icecast and shoutcast servers. The main difference with the famous libshout implementation is that is allows to set custom fields for source headers, allowing in particular the use of any custom format. Also, contrary to libshout, this module does not handle synchronisation of the data sent to the server, which is then up to the programmer.""" ; "Has a documentation" ; "http://www.rastageeks.org/cry.html" ; "Audio" ; "ocaml-cry" ; "Native OCaml libraries" ; "0.1.2" . "OBus is a pure ocaml implementation of DBus. It aims to provide a clean and easy way for ocaml programmers to access and provide dbus services. " ; "BSD" ; "http://obus.forge.ocamlcore.org/" ; "Other protocols", "System programming" ; "OBus" ; "Native OCaml libraries" ; "1.1" . "OCaml-gir is an automated binding generator for glib-based libraries." ; "BSD" ; "https://forge.ocamlcore.org/projects/ocaml-gir/" ; "Code generators" ; "OCaml-gir" ; "Development tools" ; "0.9" . "The xapi toolstack, which provides the core Citrix Xenserver's functionalities, is a set of libraries and programs written in OCaml. It is approximately 200k lines of code developed from early 2006. Within Citrix, more than 40 people have already contributed to its source code." ; "LGPL" ; "http://xenbits.xen.org/xapi/install.html" ; "System programming" ; "Xapi toolstack" ; "Scientific software" . """Dyn is a camlp4 syntax extension for Ocaml that scaffolds injection and projection functions to an from dynamicaly typed values (`dyn`), reifies ocaml type representation in run-time inspectable values (`dtd`), provides camlp4 quotations/antiquotations to work with `dyn`s and `dtd`s. When the `pa_dyn` syntax is loaded it adds a new `type_conv` type processor that can be called by appending `with dyn` after a type definition (e.g. `type t = ... with dyn`) three values are defined: val t_of_dyn : Dyn.Data.t -> t, val dyn_of_t : t -> Dyn.Data.t, val dtd_of_t : Dyn.DTD.t""" ; "LGPL" ; "https://forge.ocamlcore.org/projects/dyn/" ; "Language extensions" ; "Dyn" ; "Camlp4 extensions" ; "alpha01" . """The Caml Examples package is a large set of Caml example programs. Most of the programs are provided both in Objective Caml and in Caml Light. """ ; "http://cristal.inria.fr/caml_examples/eng.html" ; "Programming languages" ; "Caml examples collection" ; "Exercices" . """Ocamlbuild-plus is an extension of ocamlbuild that enables to use findlib packages in its build plugins.""" ; "GPL" ; "https://forge.ocamlcore.org/projects/ocamlbuildplus/" ; "Build tools" ; "ocamlbuild-plus" ; "Development tools" ; "0.99" . """Cppo is an equivalent of the C preprocessor targeted at the OCaml language and its variants. Its main purpose is to provide simple macro substitution (#define) and file inclusion (#include) for the occasional case when this is useful in OCaml. The implementation of cppo relies on the standard library of OCaml and on the standard parsing tools Ocamllex and Ocamlyacc, which contribute to the robustness of cppo across OCaml versions. """ ; "Has a documentation" ; "BSD" ; "http://martin.jambon.free.fr/cppo.html" ; "Build tools" ; "Cppo" ; "Development tools" ; "0.9.2" . """A machine learning library for dealing with Gaussian process regression in OCaml.""" ; "Has a documentation" ; "http://www.ocaml.info/home/ocaml_sources.html#gpr" ; "Maths and Logic" ; "Gpr" ; "Scientific software" ; "0.9.4" . "An OCaml interface for Open Flash Chart 2." ; "LGPL" ; "http://www.linux-nantes.org/~fmonnier/OCaml/OFC/" ; "2D graphics" ; "OCaml-ofc" ; "Native OCaml libraries" . "This is a very preliminary release of CamlJava, an OCaml/Java interface. Currently, it provides a low-level, weakly-typed OCaml interface very similar to the JNI." ; "http://cristal.inria.fr/~xleroy/software.html#camljava" ; "Languages interfaces" ; "CamlJava" ; "Development tools" ; "0.2" . "Some notes about teaching OCaml at school." ; "http://tehessin.tuxfamily.org/?page=61" ; "Programming languages" ; "Utilisation d'OCaml au lycée" ; "Courses" . "OCamlEditor is a source code editor and build tool for OCaml written in OCaml+LablGTK working under Windows." ; "GPL" ; "http://ocamleditor.forge.ocamlcore.org/" ; "Development environments" ; "OCamlEditor" ; "Development tools" ; "1.6.0" . "CCSS is a preprocessor/pretty-printer for CSS (Cascading Style Sheets). It extends the CSS language with support for declaration of variables and basic arithmetic operations (addition, subtraction, multiplication, division). The programme is supposed to be used as a filter: it reads the CSS source from stdin and outputs its result on stdout. " ; "Has a documentation" ; "GPL" ; "http://ccss.forge.ocamlcore.org/" ; "Publishing" ; "CCSS" ; "Development tools" ; "1.1" . "OCaml bindings for the lzma library." ; "LGPL" ; "https://forge.ocamlcore.org/projects/ocaml-lzma/" ; "Compression" ; "OCaml-lzma" ; "Bindings with C libraries" ; "0.01" . "jsonpat is an application for the easy transformation of JSON files. " ; "Has a documentation" ; "http://oss.wink.com/jsonpat/" ; "Other protocols" ; "jsonpat" ; "Development tools" ; "0.7" . "Sebib means \"S-Expressions for BIBliography\", it provides a hackable Bibliographic References Management System." ; "Has a documentation" ; "MIT/X11" ; "http://sebib.forge.ocamlcore.org/" ; "Publishing" ; "Sebib" ; "Others" ; "1.0.0" . """OASIS can integrate configure, build and install systems in their projects. It helps to create standard entry points in the source code build system and allows external tools to analyse projects easily. It is inspired by Cabal which is the same kind of tool for Haskell.""" ; "Has a documentation" ; "LGPL" ; "http://oasis.forge.ocamlcore.org/" ; "Build tools" ; "Oasis" ; "Development tools" ; "0.2" . "OCamlify allow to create OCaml source code by including whole file into OCaml string or string list. The code produced can be compiled as a standard OCaml file. It allows embedding external resources as OCaml code." ; "LGPL" ; "https://forge.ocamlcore.org/projects/ocamlify" ; "Build tools" ; "OCamlify" ; "Development tools" ; "0.0.1" . """Ocaml-data-notation, aka odn, dumps OCaml data in OCaml notation. It is inspired by JSON. It uses type-conv to create data dumper functions, you just have to add \"with odn\" in the type definition. There is no load scheme, since it is used to dump datastructure into OCaml scripts. It is mainly a code generator helper.""" ; "LGPL" ; "https://forge.ocamlcore.org/projects/odn" ; "Code generators" ; "OCaml-data-notation" ; "Development tools" ; "0.0.5" . """Inspect is a small library to inspect arbitrary OCaml values and their associated object graph by either dumping them as S-expressions (with sharing and references), or by writing output in the DOT-language which can then be further processed by Graphviz (http://www.graphviz.org/). """ ; "LGPL" ; "http://github.com/krohrer/caml-inspect/" ; "Debugging" ; "Caml-inspect" ; "Native OCaml libraries" . "Ulex is a lexer generator for Unicode and OCaml." ; "LGPL" ; "http://www.cduce.org/download.html#side" ; "Lexing and parsing" ; "ulex" ; "Native OCaml libraries" ; "0.4" . """Pasta is a cross-assembler for the MOS 6502 (also including 65C02 instructions), which contains experimental support for automatic management of certain resources (namely, zero-page memory locations), provided that you are prepared to use a slightly restricted programming style. """ ; "Has a documentation" ; "http://panic.cs-bristol.org.uk/~jules/pasta/" ; "Compilers" ; "Pasta" ; "Development tools" ; "0.04" . "PDF viewer written in OCaml and mupdf." ; "http://repo.or.cz/w/llpp.git" ; "2D graphics" ; "llpp" ; "Others" ; "v7" . "ocamlmq is a STOMP message broker with features that make it especially suitable for implementing task queues and communication between subsystems." ; "Has a documentation" ; "MIT/X11" ; "http://eigenclass.org/R2/writings/ocamlmq-release" ; "Other protocols" ; "ocamlmq" ; "Others" . """Map/Reduce and distributed filesystem. This package contains two applications: PlasmaFS is a distributed filesystem, Plasma MapReduce is a Map/Reduce framework on top of PlasmaFS.""" ; "Has a Godi package", "Has a documentation" ; "GPL" ; "http://plasma.camlcity.org" ; "Distributed and parallel programming", "File systems and system administration" ; "Plasma" ; "Native OCaml libraries", "Scientific software" ; "0.5" . """OCaml binding for SFML (Simple and Fast Multimedia Library). SFML is a free multimedia library that provides low and high level access to graphics, input, audio, etc.""" ; "zlib/libpng License" ; "http://ocaml-sfml.forge.ocamlcore.org/" ; "2D graphics", "3D graphics", "Audio" ; "OCaml-SFML" ; "Bindings with C libraries" ; "0.03c" . "An implementation of Fiat and Shamir's zero-knowledge network authentication protocol" ; "GPL" ; "http://forge.ocamlcore.org/projects/fiat-shamir-zkp/" ; "Cryptography" ; "Fiat-Shamir-ZKP" ; "Native OCaml libraries" ; "1.0" . "Llama Light is an implementation of the Caml programming language. It features a Hindley-Milner core that is small enough to read through and grasp as a whole, thereby making it easy to modify and extend for experimentation." ; "Has a documentation", "Has a tutorial" ; "http://llamalabs.org/light.html" ; "Compilers", "Typing" ; "Llama light" ; "Development tools" ; "0.0829" . """Yet another binding for Yices SMT 1.x. Based on CamlIDL, this library allows the access to both Yices APIs (full and light), unsatisfiable cores, bit vectors, and more experimental features (interrupting, switching between APIs).""" ; "BSD" ; "http://github.com/polazarus/ocamlyices" ; "Maths and Logic" ; "Ocamlyices" ; "Bindings with C libraries" ; "0.4" . """Precise POSIX clock library for Ocaml. This library uses the clock_gettime(2) family of functions, to get precisions from below the milliseconds upto the nanoseconds depending on the platform (system and CPU). It lets you measure time from the real-time clock, monotonic clocks, or CPU-time clocks of the current process, of a remote process, or of a thread.""" ; "BSD" ; "http://github.com/polazarus/oclock" ; "System programming" ; "Oclock" ; "Bindings with C libraries" ; "0.2" . "Pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code." ; "LGPL" ; "http://github.com/facebook/pfff" ; "Development environments" ; "Pfff" ; "Native OCaml libraries" ; "0.13" . """This is a simple implementation of `expect` to help building unitary testing of interactive program. You can match the question using a regular expression or a timeout. See the Expect manual for more information: http://expect.nist.gov/""" ; "LGPL" ; "http://forge.ocamlcore.org/projects/ocaml-expect/" ; "Build tools" ; "ocaml-expect" ; "Development tools" ; "0.0.2" . """An experimental branch of the O'Caml compiler: O'Caml extended with Generalized Algebraic Datatypes.""" ; "Has a documentation" ; "https://sites.google.com/site/ocamlgadt/" ; "Compilers" ; "ocamlgadt" ; "Development tools" . "A project which brings OCaml to programming PIC micro-controllers." ; "Has a tutorial" ; "CECILL-B" ; "http://www.algo-prog.info/ocapic/" ; "Compilers" ; "OCAPIC" ; "Development tools" ; "2.5" . "ocamlclean takes a bytecode executable (which are generally but not necessarily produced by \"ocamlc\" compiler) and reduces its size by eliminating some dead code." ; "CECILL-B" ; "http://www.algo-prog.info/ocaml_for_pic/" ; "Compilers" ; "ocamlclean" ; "Development tools" . "Thin bindings to various low-level system APIs which are not covered by Unix module. " ; "LGPL" ; "http://extunix.forge.ocamlcore.org/" ; "System programming" ; "ocaml-extunix" ; "Bindings with C libraries" ; "0.0.3" . """MLbrot is a program allowing to explore the Mandelbrot Set and produce nice fractal images. With some extra work, can produce videos. Can be helped by other computers, via internet, to speed up images calculations.""" ; "Open Source" ; "http://pauillac.inria.fr/~ddr/mlbrot/" ; "2D graphics", "Maths and Logic" ; "MLBrot" ; "Scientific software" ; "1.00" . "OCaml client API for Sphinx fulltext search engine" ; "https://forge.ocamlcore.org/projects/sphinx/" ; "Other protocols" ; "ocaml-sphinx" ; "Native OCaml libraries" ; "0.0.1" . "OCamlJit 2.0 is a Just-In-Time engine for Objective Caml 3.12.0 on desktop processors (x86/x86-64). It translates the OCaml byte-code used by the interpreter (ocamlrun and ocaml) to x86/x86-64 native code on-demand and runs the generated native code instead of interpreting the byte-code. It is designed to run with minimal compilation overhead (translating only what is being executed, avoiding costly code generation and optimization techniques), while being 100% compatible with the byte-code runtime (including serialization and hashing of closures, etc.)." ; "http://gitorious.org/ocamljit2/ocamljit2" ; "Compilers" ; "OCamljit" ; "Development tools" ; "2.0" . "A modular framework of Objective Caml libraries comprising general purpose utilities and functional data structures, a more flexible abstraction of the system network sockets layer than the standard library, and modules to support the development of concurrent, single-threaded network application services with a functional programming style." ; "Has a Godi package" ; "BSD" ; "https://bitbucket.org/jhw/oni" ; "Data structures", "Lexing and parsing", "Strings manipulation", "TCP/IP" ; "Oni" ; "Native OCaml libraries" ; "1.00" . "Lisp-like embeddable language for Objective Caml." ; "http://ontil.ihep.su/~vsl/" ; "Camllisp" ; "0.0.0" . """HTCaML enables the embedding of XHTML fragments in your OCaml program (the EDSL translates directly to Xmlm) using quotations. It also allows you to auto-generate boilerplate XHTML fragments from type definitions.""" ; "Has a documentation" ; "https://github.com/samoht/htcaml" ; "(X)HTML" ; "Htcaml" ; "Camlp4 extensions", "Native OCaml libraries" . "A CSS quotation mechanism for ocaml using camlp4." ; "https://github.com/samoht/cass" ; "(X)HTML" ; "CaSS" ; "Camlp4 extensions" . """ MLcov is a code coverage tool for Objective Caml programs. It relies on a source code instrumentation technique which allows measuring of Modified Condition/Decision Coverage (MC/DC), the criterion involved in the DO-178B standard to ensure that safety-critical software is tested adequately. The tool is available as a patch against the version 3.12.0 of the Objective Caml compiler sources.""" ; "Has a documentation" ; "CECILL-B" ; "http://www.algo-prog.info/mlcov/" ; "Testing" ; "Mlcov" ; "Development tools" ; "1.2" . "Js_of_ocaml is a compiler of OCaml bytecode to Javascript. It makes it possible to run Ocaml programs in a Web browser." ; "Has a documentation" ; "GPL", "LGPL" ; "http://ocsigen.org/js_of_ocaml/" ; "Compilers", "WWW/HTTP" ; "Js_of_ocaml" ; "Development tools" ; "1.0" . "Argot is an enhanced HTML generator for the ocamldoc tool of the Objective Caml language. It provides additional styles, additional tags, and support for tables. " ; "Has a documentation" ; "GPL" ; "http://argot.x9c.fr/" ; "Documentation generation" ; "Argot" ; "Ocamldoc generators" ; "1.0" . "Mascot is a style-checker for Objective Caml sources. It provides checks in various categories: code, documentation, interface, metrics, and typography. The goal of the tool is to allow a (team of) developer(s) to enforce style properties over a source codebase for greater coherency and style uniformity. The tool is highly customizable, allowing one to choose the checks to perform, as well as exceptions to those checks in given files. Moreover, a plugin system allows the developer to add its own checks, and output modes. Bundled output mode range from bare text to CheckStyle- and JDepend-compatible XML file in order to allow integration with Hudson. " ; "Has a documentation" ; "GPL" ; "http://mascot.x9c.fr/" ; "Development environments" ; "Mascot" ; "Development tools" ; "1.0-beta" . "Lablgtk-extras is a collection of libraries and modules useful when developing OCaml/LablGtk2 applications. " ; "LGPL" ; "http://gtk-extras.forge.ocamlcore.org/" ; "Graphical toolkits" ; "Lablgtk-extras" ; "Native OCaml libraries" ; "1.0" . """This library implements the client side of the WebDAV protocol (RFC 4918). The file locking part of WebDAV is omitted, though. The library uses Ocamlnet's [netclient] library for client-side HTTP, and extends it by providing the required access methods for WebDAV. Additionally, there is also an implementation for Ocamlnet's Netfs.stream_fs abstraction modelling a simple file system. """ ; "Has a documentation" ; "BSD" ; "http://oss.wink.com/webdav/" ; "Other protocols" ; "Webdav client library" ; "Native OCaml libraries" ; "1.0" . "ODNS is a DNS library written in Objective Caml, with an API only in Objective Caml for now (soon probably a C API as well)." ; "Has a documentation" ; "GPL" ; "http://odns.tuxfamily.org/" ; "Other protocols" ; "ODNS" ; "Native OCaml libraries" ; "0.3" . "This project helps to create self contained Ocsigen web server with its Eliom modules. It is a mean to easily deploy an Ocsigen server on a server without OCaml installed." ; "LGPL" ; "https://forge.ocamlcore.org/projects/ocsigen-bundler/" ; "File systems and system administration" ; "ocsigen-bundler" ; "Development tools" ; "0.1.0" . "Tuareg imenu is an extesion for Emacs of the tuareg mode (it do not work under XEmacs). It help to have an global visoin of you code" ; "GPL" ; "http://aspellfr.free.fr/tuareg-imenu/" ; "Editor modes" ; "tuareg imenu" ; "Development tools" . "This is an ocaml course with exercises, in french. Sources are available." ; "http://form-ocaml.forge.ocamlcore.org/" ; "Introduction pratique à OCaml" ; "Courses", "Exercices" ; "20100129" . """BERTO is an experimental ray tracer implemented in the Objective-Caml programming language. In this project emphasis is put on physically based approximations and functional programming style.""" ; "GPL" ; "http://sites.google.com/site/bertocaml" ; "3D graphics" ; "Berto" ; "Scientific software" ; "0.1.1" . "The module Sam allows common operations on sparse associative memories according to the model introduced here: http://www.vincent-gripon.com/?p=92" ; "http://www.vincent-gripon.com/?page_id=226" ; "Data structures" ; "Sam" ; "Native OCaml libraries" . """This library implements an AMQP client for accessing a message broker. The supported protocol version is 0-9-1, and successful tests have been run against RabbitMQ. The library is designed as an extension to Ocamlnet. """ ; "Has a Godi package", "Has a documentation" ; "BSD" ; "http://oss.wink.com/netamqp/" ; "Other protocols" ; "Netamqp" ; "Native OCaml libraries" ; "1.0" . """A library for Markov-chain Monte Carlo computations in OCaml.""" ; "GPL" ; "https://github.com/farr/mcmc-ocaml" ; "Maths and Logic" ; "mcmc-ocaml" ; "Native OCaml libraries" . "OCaml interface to various mesh generators, in particular triangle." ; "LGPL" ; "https://forge.ocamlcore.org/projects/mesh/" ; "Maths and Logic" ; "Mesh" ; "Bindings with C libraries" ; "0.7" . "Cheat sheets for ocaml tools and libraries." ; "http://www.ocamlpro.com/code/2011-06-03-cheatsheets.html" ; "Software development" ; "Cheat sheets" ; "Documentations" . "A small monadic parser combinator library for OCaml." ; "https://bitbucket.org/camlspotter/planck/" ; "Lexing and parsing" ; "Planck" ; "Native OCaml libraries" ; "1.0.0" . """Cmdliner is an OCaml module for the declarative definition of command line interfaces. It provides a simple and compositional mechanism to convert command line arguments to OCaml values and pass them to your functions. The module automatically handles syntax errors, help messages and UNIX man page generation. It supports programs with single or multiple commands (like darcs or git) and respects most of the POSIX and GNU conventions.""" ; "Has a documentation" ; "BSD" ; "http://erratique.ch/software/cmdliner" ; "Command line" ; "Cmdliner" ; "Native OCaml libraries" ; "0.9.0" . """a small library written in O'Caml to get the current offset and flags of files opened by another process. """ ; "MIT/X11" ; "https://github.com/gbe/ocaml-fdinfo" ; "System programming" ; "FDinfo" ; "Native OCaml libraries" ; "0.2.1" . """This library implements the xdg-basedir specification. It helps to define standard locations for configuration, cache and data files in the user directory and on the system. It is a straightforward implementation on UNIX platform and try to apply consistent policies with regard to Windows directories.""" ; "LGPL" ; "https://forge.ocamlcore.org/projects/xdg-basedir/" ; "System files" ; "ocaml-xgd-basedir" ; "Native OCaml libraries" ; "0.0.1" . "Ragel compiles executable finite state machines from regular languages. Ragel targets C, C++, Objective-C, D, Java and Ruby. Ragel state machines can not only recognize byte sequences as regular expression machines do, but can also execute code at arbitrary points in the recognition of a regular language. Code embedding is done using inline operators that do not disrupt the regular language syntax. " ; "Has a documentation" ; "GPL" ; "http://www.complang.org/ragel/" ; "Lexing and parsing" ; "Ragel" ; "Development tools" ; "6.7" . """ODisco is a library for implementing Disco map-reduce jobs in OCaml. It implements the Disco worker protocol, and provides the plumbing to connect user-specified computations to Disco data sources and results. """ ; "https://github.com/pmundkur/odisco" ; "Distributed and parallel programming" ; "ODisco" ; "Native OCaml libraries" . """A prototype that does dynamic contract checking for OCaml code. The prototype is built upon the source code of ocamlc-3.11.2.""" ; "Has a documentation" ; "http://gallium.inria.fr/~naxu/research/camlcontract.pdf" ; "Language extensions" ; "Dynamic contract checking for OCaml" ; "Patch" . """Incrementally rebuild OCaml programs as source code evolves """ ; "Has a documentation" ; "GPL" ; "http://mleternal.forge.ocamlcore.org/" ; "Build tools" ; "Mleternal" ; "Development tools" ; "0.2" . "OCaml port of Iteratees (safe, practical, declarative input processing, by Oleg Kiselyov) to OCaml." ; "LGPL" ; "http://ocaml-iteratees.forge.ocamlcore.org/" ; "Lexing and parsing" ; "OCaml Iteratees" ; "Native OCaml libraries" ; "0.3" . "An Oracle binding for OCaml modeled on OraTcl." ; "Has a documentation" ; "http://gaiustech.github.com/ociml/" ; "Databases" ; "OCI*ML" ; "Bindings with C libraries" . "This is a binding to libGammu, which provides abstraction layer to work with different cell phones from different vendors." ; "GPL" ; "https://forge.ocamlcore.org/projects/ml-gammu/" ; "Other protocols" ; "Gammu" ; "Bindings with C libraries" ; "0.9" . "Lpd is a Line Printer Daemon (LPD) server library written entirely in OCaml. It allows to define your own actions for LPD events. An example of a spooler that prints jobs on win32 machines (through GSPRINT) is provided." ; "LGPL" ; "https://forge.ocamlcore.org/projects/lpd/" ; "Other protocols", "System programming" ; "Lpd" ; "Native OCaml libraries" ; "1.1" . "L-BFGS is a limited-memory quasi-Newton code for bound-constrained optimization. It is a binding to http://users.eecs.northwestern.edu/~nocedal/lbfgsb.html" ; "GPL" ; "https://forge.ocamlcore.org/projects/lbfgs/" ; "Numeric computation" ; "l-bfgs" ; "Bindings with C libraries" ; "0.5" . "Camlp4 syntax extension to get more {easy,perlish} usage of Hashtbl module hash tables." ; "GPL" ; "http://bononia.it/zack/myprograms.en.html#hashtbl_ext" ; "Data structures", "Language extensions" ; "Hashtbl syntax extension" ; "Camlp4 extensions" . "Atdgen is a command-line program that takes as input type definitions in the ATD syntax and produces OCaml code suitable for data serialization and deserialization. " ; "Has a documentation", "Has a tutorial" ; "BSD" ; "http://oss.wink.com/atdgen/" ; "Code generators" ; "atdgen" ; "Development tools" ; "1.2.0" . """A random number generator compatible with standard library Random module (pre OCaml 3.12). It contains C code to speed up generation and a function to skip a lot of numbers at once. Benchmarks show a 3 fold increase in speed for generating random numbers. """ ; "LGPL" ; "http://oasis.ocamlcore.org/dev/view/ocaml-fastrandom/0.0.2" ; "Numeric computation" ; "ocaml-fastrandom" ; "Bindings with C libraries" ; "0.0.2" . """Bindings to libarchive, a C library for reading and writing tar, cpio, zip, ISO, and other archive formats.""" ; "LGPL" ; "http://oasis.ocamlcore.org/dev/view/ocaml-archive/2.8.4%2B1" ; "Compression" ; "ocaml-archive" ; "Bindings with C libraries" ; "2.8.4+1" . "Has a documentation", "Has a tutorial" ; "LGPL" ; "Program analysis" ; "Native OCaml libraries" . "utop is a toplevel for OCaml which can run in a terminal or in emacs. It supports completion, colors, parenthesis matching, ..." ; "BSD" ; "https://forge.ocamlcore.org/projects/utop/" ; "Development environments" ; "utop" ; "Development tools" ; "1.1" . "Piqi is a set of languages and open-source tools for working with structured data." ; "Apache" ; "http://piqi.org/" ; "Data structures" ; "Piqi" ; "Development tools" ; "0.5.6" . "This project contains an OCaml re-implementation of some popular utilities like texexpand and delatex that were commonplace in the late 1990’s on all TeX/LaTeX user machines." ; "LGPL" ; "https://gitorious.org/texexpand-ocaml" ; "Publishing" ; "Texexpand" ; "Scientific software" . """Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.""" ; "LGPL" ; "https://gitorious.org/parmap" ; "Distributed and parallel programming" ; "Parmap" ; "Native OCaml libraries" ; "0.9.8" . """The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy.""" ; "LGPL" ; "http://forge.ocamlcore.org/projects/zarith/" ; "Cryptography", "Numeric computation" ; "Zarith" ; "Bindings with C libraries" ; "1.0" . "Implementation of MySQL Protocol with the Bitstring library." ; "GPL" ; "https://forge.ocamlcore.org/projects/ocmysqlprotocol/" ; "Databases" ; "OCMP" ; "Native OCaml libraries" ; "0.1" . "A lightweight server written in Ocaml for highly interactive webpages or even online browser based games." ; "http://camlserv.sf.net" ; "Camlserv" ; "0.2" . "These modules may be used as interactive calculus constructions when loaded in the ocaml pseudo_interpreter, or as calculus library." ; "Has a documentation" ; "QPL" ; "http://www.irem.sciences.univ-nantes.fr/Calcul/Ocaml/index.html" ; "Maths and Logic" ; "Calcul avec OCaml" ; "Native OCaml libraries" . "Lablgtk2-react interfaces lablgtk2 properties and signals with Functional Reactive Programming (FRP) libraries like React." ; "Has a documentation" ; "http://lablgtk-react.forge.ocamlcore.org/" ; "Graphical toolkits" ; "Lablgtk2-react" ; "Native OCaml libraries" . "OCaml/Python interface." ; "LGPL" ; "http://www.soton.ac.uk/~doctom/software/pycaml/index.html" ; "Languages interfaces" ; "Pycaml (2)" ; "Native OCaml libraries" ; "2011-10-05" . "The ocamlnat project provides a new native code OCaml toplevel ocamlnat, which is mostly compatible to the byte code toplevel ocaml, but up to 100 times faster. It is based on the optimizing native code compiler, the native runtime and an earlier prototype by Alain Frisch. It is build upon Just-In-Time techniques and currently supports Unix-like systems (i.e. Linux, BSD or Mac OS X) running on x86 or x86-64 processors. Support for additional architectures and operating systems is planned, but not yet available." ; "LGPL", "QPL" ; "http://benediktmeurer.de/ocamlnat/" ; "Interpreters" ; "OCamlnat" ; "Development tools" ; "0.1.0" . "A sample configure.in to provide configure scripts for OCaml projects, and the associated Makefile.in." ; "LGPL" ; "http://www.lri.fr/~filliatr/software.en.html" ; "Build tools" ; "Sample configure.in and Makefile.in" ; "Development tools" . "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. Support to run an interactive Caml toplevel and debbuger is provided." ; "http://tuareg.forge.ocamlcore.org/" ; "Editor modes" ; "Tuareg" ; "Development tools" ; "2.0.1" . "A small template processor library for Objective Caml. It can be used to generate web pages, scripts, SQL queries, XML documents and other sorts of text files." ; "Has a Godi package", "Has a documentation" ; "GPL" ; "http://saucecode.org/camltemplate/index.html" ; "Language extensions", "Publishing" ; "CamlTemplate" ; "Development tools" ; "1.0" . "Generic RPC transaction manager." ; "Has a documentation" ; "http://pauillac.inria.fr/~chaudhur/ontrx.html" ; "RPC" ; "Trx" ; "Scientific software" . "A library for interfacing Objective Caml with the scripting language Tcl/Tk which is included in the OCaml distribution." ; "LGPL" ; "http://pauillac.inria.fr/camltk/" ; "Graphical toolkits" ; "CamlTK" ; "Bindings with C libraries" . "An Objective Caml library that provides easy access to compressed files in ZIP and GZIP format, as well as to Java JAR files." ; "http://cristal.inria.fr/~xleroy/software.html#camlzip" ; "Compression" ; "CamlZip" ; "Bindings with C libraries", "Native OCaml libraries" ; "1.01" . "Camomile is a comprehensive Unicode library for OCaml. Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more. The library is currently designed for Unicode Standard 3.2." ; "Has a Godi package" ; "LGPL" ; "http://camomile.sourceforge.net/" ; "Internationalization" ; "Camomile" ; "Native OCaml libraries" ; "0.8.3" . "Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of Scsh, the Scheme Shell by Olin Shivers. The Scsh API is designed for writing useful standalone Unix programs and shell scripts (but rather not for interactive command use). It spans a wide range of application, from “script” applications usually handled with perl or sh, to more standard systems applications usually written in C." ; "Has a documentation" ; "LGPL" ; "http://pauillac.inria.fr/cash/" ; "File systems and system administration", "Shell programming" ; "Cash" ; "Bindings with C libraries" ; "0.20" . "Implementation of tries (maps over lists). " ; "GPL" ; "http://www.lri.fr/~filliatr/software.en.html" ; "Data structures" ; "Trie" ; "Native OCaml libraries" . "CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations." ; "Has a documentation" ; "http://manju.cs.berkeley.edu/ccured/" ; "Program analysis" ; "CCured" ; "Scientific software" ; "1.2.5" . "Active-DVI is a Unix-platform DVI previewer and a programmable presenter for slides written in LaTeX." ; "Has a documentation" ; "LGPL" ; "http://advi.inria.fr" ; "2D graphics", "Publishing" ; "Active-DVI" ; "Major applications" ; "1.10.0" . "A strongly typed higher-order functional programming language for XML documents with an efficient type-based runtime implementation." ; "Has a Godi package", "Has a documentation", "Has a tutorial" ; "QPL" ; "http://www.cduce.org/" ; "Compilers", "XML specific languages" ; "CDuce" ; "Native OCaml libraries", "Scientific software" ; "0.2.0" . "Tony is a simple XML parser and pretty printer for Objective Caml. While you would most likely use it as a library it comes for demonstration purposes as an application. Tony reads an XML file and pretty prints it nicely. The parser is implemented using Lex and Yacc, the pretty printer using Philip Wadler's pretty-printing algebra. Today more complete (and complex) XML parsers for OCaml exist; Tony is still useful if you want to cover the basic case." ; "http://www.st.cs.uni-sb.de/~lindig/src/" ; "Parsers and pretty-printers" ; "Tony" ; "Native OCaml libraries", "Toys - Examples" ; "0..9.1" . "Library for manipulation of context-free grammars (CFGs)." ; "http://ocaml.info/home/ocaml_sources.html" ; "CFG" ; "1.7.4" . "A small library to write CGI in Objective Caml." ; "LGPL" ; "http://www.lri.fr/~filliatr/software.en.html" ; "CGI" ; "cgi" ; "Native OCaml libraries" . "Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata)." ; "GPL" ; "http://www.irisa.fr/lande/genet/timbuk/" ; "Data structures", "Science" ; "Timbuk" ; "Native OCaml libraries", "Scientific software" ; "2.0" . "An easy-to-use library for dynamically generating business-oriented data visualizations for the web." ; "Has a documentation" ; "Other/Proprietary License" ; "http://www.havenrock.com/software/chartpak" ; "2D graphics", "WWW/HTTP" ; "ChartPak" ; "Native OCaml libraries" ; "1.0a3" . "Generation of stubs for Caml-to-C interface based on a .h header file (work in progress, not yet complete). " ; "http://www.ocaml-programming.de/packages/fragments/cigen.tgz" ; "Languages interfaces" ; "Cigen" ; "Development tools" . "CIL (C Intermediate Language) is a high-level representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs." ; "Has a Godi package", "Has a documentation" ; "http://www.cs.berkeley.edu/~necula/cil/" ; "Program analysis" ; "CIL" ; "Scientific software" ; "1.3.7" . "A rewrite and constraint-solver tool." ; "Has a documentation" ; "http://cime.lri.fr/" ; "Maths and Logic" ; "CiME" ; "Scientific software" ; "2.0.2" .