Back to Programs

Programming languages

Typelevel

We do functional programming together

jvmlinuxnode.jsscalawebassembly
Organization website

Participation history

2 GSoC years

20262025

2026

4 projects

Official year page

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...

Project page

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...

Project page

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...

Project page

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...

Project page

2025

2 projects

Official year page

Polling-based I/O in FS2

FS2, a functional streaming library for Scala, currently utilizes blocking I/O operations, resulting in performance bottlenecks such as context...

CodeProject page

Efficient Machine Learning Inference in Cats Effect via Scala Native and mlpack

This project addresses the challenge of integrating computationally intensive Machine Learning inference into responsive Scala applications without...

CodeProject page