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
next prev 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