Typelevel

Projects by year

4 acceptedShow

Compile-time Specialization for Scala 3 via Inline Traits
Accepted project · by James You
Archive
Specialization is a compiler transformation that optimizes generic program code such that code using primitive types can execute without significant...
A Faster Immutable List
Accepted project · by Jennifer Payne
Archive
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
Accepted project · by L Denney
Archive
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
Accepted project · by Mariusz Jakoniuk
Archive
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...

2 acceptedShow

Polling-based I/O in FS2
Accepted project · by Purmani Rahul Reddy
Archive Code
FS2, a functional streaming library for Scala, currently utilizes blocking I/O operations, resulting in performance bottlenecks such as context...
Efficient Machine Learning Inference in Cats Effect via Scala Native and mlpack
Accepted project · by Shrey Pant
Archive Code
This project addresses the challenge of integrating computationally intensive Machine Learning inference into responsive Scala applications without...