"OCaml" - tag - Simpy Search

Sort by: relevance · freshness · popularity Search: multi · tag · site · extension

1 - 20 of 254 next »

by 8 people: ouzelum, tofgarion, vangelx ... last on 2009-11-29 ... tags: coq · inria · ocaml · proof · prover · theorem · Coq · France · assistant · computer.science

http://coq.inria.fr/ - cached - mail it - history

The Programming Language Zoo

by joshua.ball ... last on 2009-11-07 ... tags: interpreter · language · ocaml · programming · programming language · type checker · types · zoo

http://andrej.com/plzoo/ - cached - mail it - history

Generation of Java code from OCaml

by baikal92 ... last on 2009-09-27 ... tags: OCaml · json · tricks

http://thread.gmane.org/gmane.comp.lang.caml.general/47063/focus=47080 - cached - mail it - history

defmacro - Functional Programming For The Rest of Us

by 23 people: cba, baikal92, bane ... last on 2009-08-10 ... tags: programming · functional · fp · article · lisp · erlang · toread · tutorial · development · functional programming

http://www.defmacro.org/ramblings/fp.html - cached - mail it - history

0003746: arm CPU support - Mantis

by baikal92 ... last on 2009-08-06 ... tags: OCaml · arm

http://caml.inria.fr/mantis/view.php?id=3746 - cached - mail it - history

Unison File Synchronizer

by 112 people: ognjen, evansthompson, bobodod ... last on 2009-07-10 ... tags: backup · software · linux · file · windows · sync · synchronizer · tools · unison · opensource

http://www.cis.upenn.edu/~bcpierce/unison/ - cached - mail it - history

[Godi-list] Patching the ocaml compiler

by baikal92 ... last on 2009-06-18 ... tags: OCaml · development · godi · howto · patch

https://godirepo.camlcity.org/pipermail/godi-list/2005-May/001783.html - cached - mail it - history

Ubuntuland - Ledit, line editor for interactive programs

by ubuntuland ... last on 2009-05-06 ... tags: camlp4 · editor html · ledit · ocaml · repository ubuntu · software packages · ubuntu 9.04 jaunty jackalope · ubuntuland

http://ubuntuland.page.tl/Ledit%2C-line-editor-for-interactive-programs.htm - cached - mail it - history

Simplified Wrapper and Interface Generator

by 26 people: unbob, stevetat, masterchef ... last on 2009-04-24 ... tags: python · programming · interface · generator · tools · wrapper · c++ · java · simplified · development

http://www.swig.org/ - cached - mail it - history

Revision 4468: /trunk/ocaml_book

by baikal92 ... last on 2009-03-30 ... tags: OCaml · book

http://svn.metaprl.org/svnroot/papers/trunk/ocaml_book/ - cached - mail it - history

Mlpost

by baikal92 ... last on 2009-03-24 ... tags: LaTeX · OCaml · postscript

http://mlpost.lri.fr/ - cached - mail it - history

FoCaLize

by baikal92 ... last on 2009-03-24 ... tags: IDE · OCaml · formal · tool

http://focalize.inria.fr/ - cached - mail it - history

OCamlForge: Melt: Projektinfo

by baikal92 ... last on 2009-03-24 ... tags: LaTeX · OCaml

https://forge.ocamlcore.org/projects/melt/ - cached - mail it - history

Introducing extprot: extensible binary protocols for cross-language communication and long-term serialization

by baikal92 ... last on 2009-03-11 ... tags: fileformat · protocol

http://eigenclass.org/R2/writings/extprot-extensible-protocols-intro - cached - mail it - history

Jason Hickey: Home Page

by baikal92 ... last on 2009-03-10 ... tags: OCaml · book

http://main.metaprl.org/jyh/ - cached - mail it - history

Untitled

by baikal92 ... last on 2009-03-09 ... tags: LLVM · Ocaml

http://hlvm.forge.ocamlcore.org/ - cached - mail it - history

Delimited overloading

by baikal92 ... last on 2009-03-06 ... tags: OCaml · extension · macro

http://pa-do.forge.ocamlcore.org/ - cached - mail it - history

Ocamlbuild - Gallium

by baikal92 ... last on 2009-02-10 ... tags: OCaml · builds · tools

http://brion.inria.fr/gallium/index.php/Ocamlbuild - cached - mail it - history

Working on dependent projects with ocamlbuild - Gallium

by baikal92 ... last on 2009-02-10 ... tags: OCaml · builds · tools

http://brion.inria.fr/gallium/index.php/Working_on_dependent_projects_with_ocamlbuild - cached - mail it - history

SVMsequel

by naufraghi ... last on 2009-02-07 ... tags: intelligenza-artificiale · ocaml · svm

http://www.cs.utah.edu/~hal/SVMsequel/ - cached - mail it - history

1 - 20 of 254 next »

Related Users

32 tobu

23 baikal92

19 tofgarion

9 jstone

8 naufraghi

7 robdefriesse

5 lambdareader

5 olifante

5 syphax

4 hmu

Related Tags

133 ocaml

106 programming

63 books

50 backup

49 software

39 tools

37 free

36 computer

36 linux

36 reference

32 windows

28 file

26 sync

26 synchronizer

24 functional

23 python

19 ebooks

19 unison

17 homepage

17 mac