Hey all,

We are happy to announce the 15 projects accepted for Summer of Haskell 2017 and that the community bonding period has begun.

If there are people who would like to co-mentor a project, please let us know.

# Haskell.org projects

1.  Safe streaming with linear types  

   Student: Edvard Hübinette  

   Mentor: Arnaud Spiwack

2.  Improve the GHC Performance test suite  

   Student: Shivansh Rai  

   Mentor: Ben Gamari

3.  Haskell IDE Engine  

   Student: Zubin Duggal  

   Mentor: Alan Zimmerman

4.  Last Mile for cabal new-build  

   Student: Francesco Gazzetta  

   Mentor: Daniel Wagner

5.  Totality checking base with Liquid Haskell  

   Student: Sean Leffler  

   Mentor: Niki Vazou

   Co-mentor: Eric Seidel

6.  Modularizing haskell-mode and improving haskell-interactive-mode  

   Student: Vasantha Ganesh Kanniappan  

   Mentor: Gracjan Polak

7.  Haskey (an embedded key-value store modeled after LMDB)  

   Student: Henri Verroken  

   Mentor: Steven Keuchel

   Co-mentor: George Karachalias

8.  Improve the Shake-Based Hadrian Build System for GHC  

   Student: Zhen Zhang  

   Mentor: Andrey Mokhov

9.  GHC Performance improvements  

   Student: Igor Popov  

   Mentor: Jose Calderon

10. Improvement of Hackage Matrix Builder  

   Student: Andika Demas Riyandi  

   Mentor: Herbert Valerio Riedel

11. WebGHC (a WebAssembly backend for GHC)  

   Student: Michael Vogelsang  

   Mentor: Will Fancher

# code.world projects

12. Better collaborative coding features for CodeWorld  

   Student: Parv Mor  

   Co-mentor: Michael Chavinda  

   Co-mentor: Anthony Green

13. Improvements to parsing, compiling, and errors for CodeWorld  

   Student: Pranjal Tale  

   Primary Mentor: Kyle Butt  

   Secondary Mentor: Chris Smith

14. Exporting and sharing CodeWorld projects  

   Student: Venkatraman Srikanth  

   Primary Mentor: Theo Belaire  

   Secondary Mentor: Han Wang

15. Improve editor tooling for CodeWorld  

   Student: Eric Roberts  

   Primary Mentor: Emin Karayel  

   Secondary Mentor: Fernando Alegre

We would like to thank all students who applied for the quality proposals. We received 68 so selecting the projects was extremely difficult. Yet, three new positions opened during selection period to accept high quality applications.

Summer of Haskell 2017 is made possible by our generous sponsors:

- [haskell.org](http://haskell.org) kicked things off this year by funding a student and organizing the Summer of Haskell 2017 after a successful  [Summer of Haskell 2016](https://mail.haskell.org/pipermail/haskell-cafe/2016-December/125702.html).

- [Asahi Net](https://asahi-net.jp/en/) is a Japanese Internet service provider that has been running stable systems for over 25 years.  They are a proud sponsor of the Summer of Haskell, and contribute to the Japanese Haskell community.

- [Awake Networks](http://www.awakenetworks.com/) is building a next generation network security and analytics platform. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community.

- [CodeWorld](http://code.world/) is an educational project that blends

 mathematics and Haskell programming into a visual playground.  Chris Smith has volunteered to fund two students to work on CodeWorld in particular.

- [Digital Asset](http://digitalasset.com/) provides Distributed Ledger solutions for financial institutions globally. They have developed a pure, typed, functional, domain specific language for writing contracts, called DAML. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community.

- [Facebook](http://facebook.com/) uses Haskell in its [anti-abuse infrastructure](https://code.facebook.com/posts/745068642270222/fighting-spam-with-haskell/), and as part of that effort we open-sourced the  [Haxl](https://github.com/facebook/Haxl) framework which is being used at scale in production to automatically parallelise data-fetching code. We're delighted to be able to support the Haskell community's efforts by sponsoring a student for this year's Summer of Haskell.

- [Fugue Inc.](http://fugue.co/) radically simplifies cloud operations with its software-defined system for dynamically orchestrating and enforcing cloud infrastructure at scale.  Fugue uses Haskell in its product and is proud to sponsor a student to improve the ecosystem.

- [Galois](http://galois.com/) applies cutting-edge computer science and applied mathematics to solve difficult technological problems, delivering practical solutions tailored to our clients’ needs.  Haskell and other functional programming languages are key tools we use in providing these solutions.

- [IOHK](https://iohk.io/) is a technology company committed to using

 peer-to-peer technologies to provide financial services to the three billion people who don't have them.  We implement our first-principles cryptographic research in Haskell and we are committed to the development of the Haskell ecosystem.

- [Tweag I/O](http://tweag.io) is a network of software innovation labs across Europe. We develop novel solutions and products for our clients around the world. Haskell is key to delivering fast, correct and maintainable code. We have shipped Haskell in anything from tiny web services to large high-performance compute clusters with custom hardware. We're particularly keen to help the community grow Haskell into the strongest systems programming language and ecosystem out there. We're very proud to sponsor a student this summer to help make it happen.

Davean has volunteered to fund a student expressly to work on the [Hadrian build

system for GHC](/ideas.html#hadrian-ghc). Steven Keuchel has provided funds for a student to work on Haskey.

Niki Vazou & Jasper Van der Jeugt