caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Anil Madhavapeddy <anil@recoil.org>
To: Yotam Barnoy <yotambarnoy@gmail.com>
Cc: Ocaml Mailing List <caml-list@inria.fr>,
	Nate Foster <jnfoster@cs.cornell.edu>,
	Marco Canini <marco.canini@uclouvain.be>
Subject: Re: [Caml-list] Google summer of code
Date: Wed, 26 Feb 2014 11:17:26 +0000	[thread overview]
Message-ID: <E2806D64-ED4D-41CD-A41C-AA5624623AD1@recoil.org> (raw)
In-Reply-To: <CAN6ygOmE9pPCQUHQOd0K+a8Egk9tTkcgRsOKFrrP61m3qTpXpA@mail.gmail.com>

Although we didn't apply directly from OCaml, I thought I'd point out two 
projects that have been accepted that do use OCaml.

- MirageOS; a unikernel written in OCaml that compiles to specialised kernels.
  Because a Mirage app is functorized across its OS dependencies, it's possible
  to port it to rather exotic targets such as JavaScript, while maintaining the
  same module interfaces.  Tips and ideas for Mirage available here:
  http://openmirage.org/blog/applying-for-gsoc2014

- Frenetic is a family of network programming languages that let you control
  your network via software defined interfaces.  Ideas for it are up at:
  https://github.com/frenetic-lang/frenetic/wiki/GSoC-2014-Project-Ideas

There may be others here that I haven't spotted:
http://www.google-melange.com/gsoc/homepage/google/gsoc2014

I'd highly recommend any students who have a spare summer coming up to
apply.  Bonus points for any brave souls that propose combining Frenetic
and MirageOS into an OCaml monster that will take over the Internet :-)

-anil

On 14 Jan 2014, at 23:04, Yotam Barnoy <yotambarnoy@gmail.com> wrote:

> Dear List
> 
> Are there plans to apply for GSOC mentorship this year? Searching online yielded only a rejected application from 2011. Applications for mentor organizations are due February 14th.
> 
> -Yotam


  parent reply	other threads:[~2014-02-26 11:17 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-01-14 23:04 Yotam Barnoy
2014-01-15  9:04 ` Adrien Nader
2014-01-15 13:31   ` Nicolas Braud-Santoni
2014-01-15 15:23   ` Yotam Barnoy
2014-01-15 18:38     ` Jon Harrop
2014-02-26 11:17 ` Anil Madhavapeddy [this message]
2014-02-26 12:06   ` Marco Canini

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E2806D64-ED4D-41CD-A41C-AA5624623AD1@recoil.org \
    --to=anil@recoil.org \
    --cc=caml-list@inria.fr \
    --cc=jnfoster@cs.cornell.edu \
    --cc=marco.canini@uclouvain.be \
    --cc=yotambarnoy@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).