Record · corpus.blog/posts/01a0872a-c4a3-72c7-b2ed-d622ca6ad77d

Reviewing the first year of OCaml Labs in 2013

anil.recoil.org · published 29 December 2013

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at anil.recoil.org Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 197
Words captured: 5,793

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

http://www.cl.cam.ac.uk/projects/ocamllabs/

cl.cam.ac.uk

http://www.cl.cam.ac.uk

cl.cam.ac.uk

http://caml.inria.fr

caml.inria.fr

http://ocamlpro.com

ocamlpro.com

http://gallium.inria.fr/

gallium.inria.fr

http://janestreet.com

janestreet.com

http://www.lexifi.com/

lexifi.com

http://citrix.com

citrix.com

http://caml.inria.fr/consortium/

caml.inria.fr

http://opam.ocaml.org

opam.ocaml.org

https://github.com/ocaml/opam-repository

github.com

https://github.com/xapi-project/opam-repo-dev

github.com

https://github.com/ocsigen/opam-ocsigen

github.com

http://ocaml.janestreet.com

ocaml.janestreet.com

https://github.com/ocaml/opam-repository/pull/1300

github.com

http://ocaml.org/meetings/ocaml/2013/slides/guha.pdf

ocaml.org

https://github.com/ocaml/opam-repository/issues/955

github.com

http://creativecommons.org/choose/zero/

creativecommons.org

http://github.com/ocaml

github.com

https://github.com/dsheets

github.com

https://github.com/ocaml/v2.ocaml.org/blob/master/site/meetings/ocaml/2013/proposals/ocamlot.pdf

github.com

http://travis-ci.org

travis-ci.org

https://web.archive.org/web/20181114154831/https://anil.recoil.org/2013/09/30/travis-and-ocaml.html

web.archive.org

https://github.com/avsm/opam-bulk-logs

github.com

https://github.com/ocaml/opam-repository/issues/1304

github.com

http://caml.inria.fr/mantis/view.php?id=6063

caml.inria.fr

http://ocaml.org/meetings/ocaml/2013/slides/garrigue.pdf

ocaml.org

http://ocaml.org/meetings/ocaml/2013/slides/white.pdf

ocaml.org

http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual029.html

caml.inria.fr

https://github.com/vincent-botbol

github.com

http://www.haskell.org/haddock/

haskell.org

http://mirage.github.io/

mirage.github.io

http://gazagnaire.org

gazagnaire.org

http://louis.gesbert.fr/cv.en.html

louis.gesbert.fr

https://github.com/ocamllabs/opamfu

github.com

https://github.com/ocaml/opam2web

github.com

http://www.cl.cam.ac.uk/projects/ocamllabs/pkg/

cl.cam.ac.uk

https://github.com/ocaml/opam-repository/pull/1240

github.com

https://github.com/ocaml/opam/pull/886/files

github.com

https://github.com/ocaml/opam/issues/1035

github.com

http://docker.io

docker.io

http://amirchaudhry.com/fpdays-review

amirchaudhry.com

http://ocamllabs.github.io/compiler-hacking/2013/10/30/third-compiler-hacking-session.html

ocamllabs.github.io

https://github.com/ocamllabs/compiler-hacking/wiki

github.com

https://github.com/ocamllabs/compiler-hacking/wiki/Things-previously-worked-on

github.com

http://gallium.inria.fr/~scherer/

gallium.inria.fr

http://cristal.inria.fr/~doligez/

cristal.inria.fr

http://caml.inria.fr/mantis/search.php?project_id=1&sticky_issues=1&sortby=last_updated&dir=DESC&highlight_changed=24&hide_status_id=90&tag_string=junior_job

caml.inria.fr

http://www.lpw25.net

lpw25.net

https://www.cl.cam.ac.uk/~am21/

cl.cam.ac.uk

http://alain.frisch.fr/

alain.frisch.fr

http://lists.ocaml.org/listinfo/wg-camlp4

lists.ocaml.org

http://lists.ocaml.org

lists.ocaml.org

http://lists.ocaml.org/pipermail/wg-camlp4/2013-January/thread.html

lists.ocaml.org

http://lists.ocaml.org/pipermail/wg-camlp4/2013-February/thread.html

lists.ocaml.org

http://lists.ocaml.org/pipermail/wg-camlp4/2013-March/thread.html

lists.ocaml.org

http://lists.ocaml.org/pipermail/platform/2013-February/000050.html

lists.ocaml.org

http://www.lpw25.net/2013/03/10/ocaml-namespaces.html

lpw25.net

http://icfpconference.org/icfp2013/

icfpconference.org

http://caml.inria.fr/mantis

caml.inria.fr

http://caml.inria.fr/mantis/view.php?id=5985&nbn=49

caml.inria.fr

http://caml.inria.fr/mantis/view.php?id=5992

caml.inria.fr

http://caml.inria.fr/mantis/view.php?id=5584

caml.inria.fr

http://caml.inria.fr/mantis/view.php?id=5759

caml.inria.fr

http://caml.inria.fr/mantis/view.php?id=6000

caml.inria.fr

http://caml.inria.fr/mantis/view.php?id=6064

caml.inria.fr

https://github.com/lucasaiu/ocaml

github.com

https://github.com/ocamllabs/ocaml/tree/multicore

github.com

http://mu.netsoc.ie/

mu.netsoc.ie

https://github.com/ocamllabs/ocaml-ctypes

github.com

http://docs.python.org/2/library/ctypes.html

docs.python.org

http://www.haskell.org/haskellwiki/Library/libffi

haskell.org

https://github.com/dsheets/ocaml-sodium

github.com

https://realworldocaml.org

realworldocaml.org

https://github.com/realworldocaml/book/issues/1701

github.com

http://alan.petitepomme.net/cwn/2013.12.17.html

alan.petitepomme.net

https://github.com/ocamllabs/ocaml-ctypes/issues

github.com

http://xulforum.org

xulforum.org

http://gallium.inria.fr/blog/raspi-lcd/

gallium.inria.fr

http://amirchaudhry.com/

amirchaudhry.com

http://philippewang.info/CL/

philippewang.info

http://ocaml.org

ocaml.org

https://www.mail-archive.com/caml-list@inria.fr/msg00169.html

mail-archive.com

http://ocaml.org/learn/tutorials/99problems.html

ocaml.org

https://github.com/pw374/MPP-language-blender

github.com

https://github.com/pw374/omd

github.com

http://amirchaudhry.com/wireframe-demos-for-ocamlorg/

amirchaudhry.com

http://amirchaudhry.com/ocamlorg-request-for-feedback/

amirchaudhry.com

http://onespacemedia.com

onespacemedia.com

http://amirchaudhry.com/migration-plan-ocaml-org/

amirchaudhry.com

http://amirchaudhry.com/announcing-new-ocamlorg/

amirchaudhry.com

https://github.com/ocaml/ocaml.org-scripts

github.com

http://caml.inria.fr/ocaml/anonsvn.en.html

caml.inria.fr

https://github.com/ocaml/ocaml

github.com

http://github.com/ocaml/camlp4

github.com

https://github.com/ocaml/oasis

github.com

http://forge.ocamlcore.org

forge.ocamlcore.org

http://rackspace.com

rackspace.com

http://xenserver.org

xenserver.org

http://git.ocaml.org/public/

git.ocaml.org

http://lists.ocaml.org/listinfo/infrastructure

lists.ocaml.org

https://github.com/ocaml/ocaml.org/issues/376

github.com

http://github.com/ocaml/ocaml.org/issues

github.com

https://github.com/ocamllabs/opam-doc

github.com

https://ocaml.janestreet.com/?q=blog/5

ocaml.janestreet.com

https://ocaml.janestreet.com/?q=node/117

ocaml.janestreet.com

https://web.archive.org/web/20160324164610/https://anil.recoil.org/2013/08/06/real-world-ocaml-beta2.html

web.archive.org

https://realworldocaml.org/v1/en/html/objects.html

realworldocaml.org

https://realworldocaml.org/v1/en/html/classes.html

realworldocaml.org

https://realworldocaml.org/v1/en/html/foreign-function-interface.html

realworldocaml.org

https://plus.google.com/100586365409172579442/posts

plus.google.com

https://github.com/diml/utop

github.com

https://web.archive.org/web/20160101000000*/https://anil.recoil.org/2013/08/06/real-world-ocaml-beta2.html

web.archive.org

http://www.amazon.com/Real-World-OCaml-Functional-programming/dp/144932391X/

amazon.com

http://icfpconference.org

icfpconference.org

http://ocaml.org/meetings/ocaml/2013/program.html

ocaml.org

http://www.syslog.cl.cam.ac.uk/2013/09/24/liveblogging-ocaml-workshop-2013/

syslog.cl.cam.ac.uk

http://www.syslog.cl.cam.ac.uk/2013/09/22/liveblogging-cufp-2013/

syslog.cl.cam.ac.uk

http://ocaml.org/meetings/ocaml/2013/slides/padioleau.pdf

ocaml.org

http://www.youtube.com/watch?feature=player_detailpage&v=gKWNjFagR9k

youtube.com

http://ezyang.tumblr.com/post/62157468762/haskell-haskell-and-ghc-too-big-to-fail-panel

ezyang.tumblr.com

https://github.com/yminsky

github.com

http://fpdays.net/2013/

fpdays.net

http://amirchaudhry.com/fpdays-review/

amirchaudhry.com

https://github.com/ocsigen/js_of_ocaml

github.com

https://github.com/ocamllabs/fpdays-skeleton

github.com

http://www.lip6.fr/actualite/personnes-fiche.php?ident=D1161&LANG=en

lip6.fr

http://www.algo-prog.info/spoc/web/index.php?id=spoc

algo-prog.info

http://www.algo-prog.info/spoc/distribution/opam/

algo-prog.info

http://www.benjamin.canou.fr/

benjamin.canou.fr

http://ocaml.org/meetings/ocaml/2013/slides/canou.pdf

ocaml.org

http://www.dicosmo.org/

dicosmo.org

http://www.irill.org/

irill.org

http://mancoosi.org

mancoosi.org

http://openmirage.org/blog/mirage-1.0.3-released

openmirage.org

http://nymote.org

nymote.org

http://www.kingston-arms.co.uk/

kingston-arms.co.uk

http://www.xulforum.org/

xulforum.org

http://protz.github.io/mezzo/

protz.github.io

http://gallium.inria.fr/blog/mezzo-on-opam/

gallium.inria.fr

http://protz.github.io/ocaml-installer/

protz.github.io

https://github.com/bvaugon

github.com

http://oud.ocaml.org/2012/slides/oud2012-paper10-slides.pdf

oud.ocaml.org

http://www.algo-prog.info/ocaml_for_pic/web/index.php?id=ocapic

algo-prog.info

http://caml.inria.fr/mantis/view.php?id=6017

caml.inria.fr

http://danmey.org/

danmey.org

http://brion.inria.fr/gallium/index.php/Ocamlbuild

brion.inria.fr

http://www.youtube.com/watch?v=d9Hg5L76FG8

youtube.com

http://erratique.ch/

erratique.ch

http://www.x9c.fr/

x9c.fr

http://ocamljava.x9c.fr/preview/

ocamljava.x9c.fr

http://bugs.x9c.fr/

bugs.x9c.fr

Unicode 10.0.0 refresh Read at the source ↗

erratique.ch

http://erratique.ch/software/vg

erratique.ch

http://erratique.ch/software/gg

erratique.ch

http://erratique.ch/software/otfm

erratique.ch

http://erratique.ch/software/vz/doc/Vz.html

erratique.ch

http://erratique.ch/software/vz/demos/color_schemes.html

erratique.ch

http://erratique.ch/software/vz/demos/iris.html

erratique.ch

https://github.com/dbuenzli/pkgopkg

github.com

http://epsrc.ac.uk

epsrc.ac.uk

http://cordis.europa.eu/fp7/home_en.html

cordis.europa.eu

http://www.three-tuns.net/mark/

three-tuns.net

http://www.youtube.com/watch?v=NF2WpWnB-nk

youtube.com

http://dave.recoil.org

dave.recoil.org

http://blogs.citrix.com/2013/06/26/open-source-what-does-it-mean-for-xenserver/

blogs.citrix.com

http://jon.recoil.org

jon.recoil.org

http://www.xenserver.org/blog/blogger/listings/euanh.html

xenserver.org

http://horizon.ac.uk

horizon.ac.uk

http://openmirage.org

openmirage.org

http://openmirage.org/docs

openmirage.org

http://cacm.acm.org/magazines/2014/1/170866-unikernels/abstract

cacm.acm.org

http://www.openmirage.org/wiki/hello-world

openmirage.org

https://github.com/mirage/mirage-block-xen

github.com

https://github.com/avsm/ocaml-cohttp

github.com

https://github.com/mirage/ocaml-dns

github.com

https://github.com/mirage/ocaml-fat

github.com

http://www.xenproject.org/developers/teams/mirage-os.html

xenproject.org

http://de2013.org/wp-content/uploads/2013/09/de2013_submission_25-1.pdf

de2013.org

http://www.cl.cam.ac.uk/~jac22/

cl.cam.ac.uk

http://www.cs.nott.ac.uk/~rmm/

cs.nott.ac.uk

http://usercentricnetworking.eu/

usercentricnetworking.eu

http://www.thlab.net/

thlab.net

http://nymote.org/

nymote.org

http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K034723/1

gow.epsrc.ac.uk

http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K032968/1

gow.epsrc.ac.uk

http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K031724/1

gow.epsrc.ac.uk

http://en.wikipedia.org/wiki/Software-defined_networking

en.wikipedia.org

https://github.com/frenetic-lang

github.com

http://www.sussex.ac.uk/informatics/people/peoplelists/person/334868

sussex.ac.uk

https://github.com/samoht/irminsule

github.com

https://github.com/ocamllabs/higher

github.com

http://opam.ocaml.org/pkg/higher/higher.0.1

opam.ocaml.org

https://github.com/ocamllabs/higher/raw/paper/higher.pdf

github.com

http://ocaml.org/meetings/ocaml/2013/slides/madhavapeddy.pdf

ocaml.org

http://www.cl.cam.ac.uk/projects/ocamllabs/people/

cl.cam.ac.uk

https://www.cl.cam.ac.uk/~iml1/

cl.cam.ac.uk