From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 021C47F861 for ; Wed, 26 Feb 2014 12:17:30 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqwEAErMDVNZELGadGdsb2JhbABZg0GpTpctT4EzDgEMFQg8giUBAQQBeQULC0YhNgYTh3EDCQwJwS8Nh0AXjDyBYTMHgySBFASWSYFtgTKLL4h0PA X-IPAS-Result: AqwEAErMDVNZELGadGdsb2JhbABZg0GpTpctT4EzDgEMFQg8giUBAQQBeQULC0YhNgYTh3EDCQwJwS8Nh0AXjDyBYTMHgySBFASWSYFtgTKLL4h0PA X-IronPort-AV: E=Sophos;i="4.97,547,1389740400"; d="scan'208";a="50581480" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail3-smtp-sop.national.inria.fr with SMTP; 26 Feb 2014 12:17:29 +0100 Received: (qmail 8039 invoked by uid 634); 26 Feb 2014 11:17:28 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginm.net (HELO [192.168.1.94]) (86.30.244.239) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 26 Feb 2014 11:17:28 +0000 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 7.0 \(1812\)) From: Anil Madhavapeddy In-Reply-To: Date: Wed, 26 Feb 2014 11:17:26 +0000 Cc: Ocaml Mailing List , Nate Foster , Marco Canini Content-Transfer-Encoding: quoted-printable Message-Id: References: To: Yotam Barnoy X-Mailer: Apple Mail (2.1812) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] Google summer of code Although we didn't apply directly from OCaml, I thought I'd point out two=20 projects that have been accepted that do use OCaml. - MirageOS; a unikernel written in OCaml that compiles to specialised kerne= ls. Because a Mirage app is functorized across its OS dependencies, it's poss= ible 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 wrote: > Dear List >=20 > Are there plans to apply for GSOC mentorship this year? Searching online = yielded only a rejected application from 2011. Applications for mentor orga= nizations are due February 14th. >=20 > -Yotam