Ideas list for GSoC 2025 mentored by Scala Center
☆79Sep 8, 2025Updated 5 months ago
Alternatives and similar repositories for GoogleSummerOfCode
Users that are interested in GoogleSummerOfCode are comparing it to the libraries listed below
Sorting:
- SBT Plugins For ZIO Projects☆12Feb 26, 2026Updated last week
- ☆12Nov 2, 2024Updated last year
- Compile-time expression evaluation for Scala 2☆17Updated this week
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago
- Explore graphs in a visual way☆17Updated this week
- Model Context Protocol server written in Scala☆34Jun 25, 2025Updated 8 months ago
- ☆56Jan 22, 2026Updated last month
- Miniature Quill implementation for Benchmarking and Study☆18Jan 11, 2023Updated 3 years ago
- Typesafe record types for Scala☆21Jan 26, 2025Updated last year
- Type class derivation for services, not data☆38Feb 10, 2025Updated last year
- Compile-time query generation for document stores☆20Feb 3, 2026Updated last month
- Scala.js abstraction for a common core of features shared by Array[T], js.Array[T], and the JavaScript TypedArray family of Arrays..☆24Feb 22, 2026Updated last week
- Easy, fast, transparent generic derivation of typeclass instances in Scala☆25Jan 30, 2025Updated last year
- Refactoring Generator of Source Code for Scala☆25Nov 28, 2025Updated 3 months ago
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆164Feb 16, 2026Updated 2 weeks ago
- newtype and refinement (refined) type for Scala 3☆14Feb 25, 2026Updated last week
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- Scala BSP implementation for Bazel.☆24Feb 18, 2026Updated 2 weeks ago
- Ideas and demonstrations of named tuples to the max☆29Apr 10, 2025Updated 10 months ago
- A platform of libraries for Scala 3☆109Updated this week
- ☆11Sep 27, 2025Updated 5 months ago
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆11Feb 25, 2026Updated last week
- The official repository of the Scala Macros and Metaprogramming course on Rock the JVM☆14Nov 13, 2025Updated 3 months ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 4 months ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 years ago
- Experimental Scala 3 library that allows to automatically derive instances of the smithy4s abstractions from scala constructs.☆25Jul 16, 2024Updated last year
- Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test…☆18Feb 23, 2026Updated last week
- Virtual cockpit for UAVs☆12Feb 13, 2017Updated 9 years ago
- Smithy4s client directly using Fetch APIs, without bringing http4s/cats, to dramatically reduce bundle size☆13Jul 7, 2024Updated last year
- Mill Plugin to ease Cross Platform projects☆14Feb 4, 2026Updated last month
- ☆12Dec 19, 2024Updated last year
- experimental CPS transformer for dotty☆194Feb 14, 2026Updated 2 weeks ago
- A scala 3 tree explorer for the reflect module☆53Nov 3, 2024Updated last year
- Scalablytyped Mill Plugin☆31Sep 26, 2025Updated 5 months ago
- java.security implementation for Scala Native☆12Jan 31, 2026Updated last month
- This repository contains source code for "Telemetry in Scala" blog series.☆12May 14, 2023Updated 2 years ago
- Generic refactoring rules available in scalafix☆13Oct 17, 2023Updated 2 years ago
- Scala 3 run-time reflection library☆55Jun 16, 2025Updated 8 months ago