
Typelevel
Typelevel is an ecosystem of projects and a community of people united to foster an inclusive, welcoming, and safe environment around functional programming in Scala. We work together to develop projects that apply functional programming to challenging problems relevant in industry. Our community culture embraces curiosity and mentoring and we don't shy away from experimenting with new and exciting ideas. Most of all, we love to make programming joyful and social.
GSoC Participation History
Technologies
Topics
Past Projects
Compile-time Specialization for Scala 3 via Inline Traits
Specialization is a compiler transformation that optimizes generic program code such that code using primitive types can execute without significant...
A Faster Immutable List
The goal of this project is to create a more efficient immutable list in Scala. In order to do this, we intend to use block-based arrays, to improve...
A Faster Immutable List Datatype
The goal of this project is to explore implementing a list-like datatype with enhanced performance. Immutable linked lists are a core datatype in...
Cats Effect & FS2 for Wasm/WASI
The recent efforts of the `scala-wasm` project have made it possible for Scala to use the WebAssembly Component Model binary format as a compilation...
Frequently Asked Questions
Typelevel | GSoC Org Profile & Stats - Learn about Typelevel's involvement in Google Summer of Code (GSoC), their technologies, detailed reports.
Participation
Projects
Top Programming Languages
Project Difficulty Distribution
No difficulty data available