|
Tarski: an educational tool for semantics of first-order logic
|
|
0
|
108
|
December 2, 2025
|
|
Advent of Code 2025
|
|
2
|
148
|
December 1, 2025
|
|
Supporting cross-compilation and repository organization pros and cons
|
|
1
|
117
|
November 30, 2025
|
|
Lift Web Framework - 4.0.0-M3, now with Scala 3 support
|
|
0
|
187
|
November 25, 2025
|
|
Use Coursier to install from Artifactory
|
|
6
|
287
|
November 25, 2025
|
|
Scala 2.13.18 is here!
|
|
0
|
99
|
November 24, 2025
|
|
3.8.0 Experimental multiSpreads: great feature.. but is it currently broken?
|
|
2
|
160
|
November 24, 2025
|
|
Exhaustivity warning on opaque type
|
|
3
|
166
|
November 24, 2025
|
|
Any news on "Advanced Programming in Scala"?
|
|
44
|
9446
|
November 23, 2025
|
|
Transparent Syntax Extensions
|
|
1
|
114
|
November 17, 2025
|
|
[SOLVED] Weird design problem, looking for advice
|
|
7
|
209
|
November 17, 2025
|
|
Extension Method Resolution: Is this Expected Behaviour?
|
|
2
|
121
|
November 16, 2025
|
|
Conversions and Extensions methods in Scala 3
|
|
2
|
98
|
November 16, 2025
|
|
Extending typeclass defined parametrically from typeclass defined using Self type member
|
|
4
|
138
|
November 15, 2025
|
|
Unexpected behaviour for inline condition
|
|
4
|
167
|
November 12, 2025
|
|
New ZIO course on ScalaTut
|
|
2
|
124
|
November 11, 2025
|
|
Using context function parameter by name (and not by type)
|
|
7
|
259
|
November 11, 2025
|
|
Boston Area Meetup featuring Li Haoyi on Nov 17th
|
|
0
|
60
|
November 11, 2025
|
|
Extending an inner class
|
|
2
|
98
|
November 8, 2025
|
|
Java 25 support
|
|
3
|
159
|
November 7, 2025
|
|
JDBC connection in ZIO
|
|
1
|
116
|
November 7, 2025
|
|
TypeTest on throw Exception
|
|
5
|
140
|
November 6, 2025
|
|
Call for Contributions: BOB 2026 (Berlin, March 13 - Deadline Nov 17)
|
|
1
|
89
|
November 3, 2025
|
|
Why wildcard imports can be used in SBT files, but not * in patterns?
|
|
0
|
77
|
November 3, 2025
|
|
Metals/Bloop and quoted type pattern
|
|
5
|
129
|
November 3, 2025
|
|
Scalafix: forbidding imports and methods from being used
|
|
12
|
484
|
November 2, 2025
|
|
Exhaustivity check fails for Java sealed classes on JDK 21?
|
|
4
|
131
|
November 1, 2025
|
|
Interpolated String messes up escape-chars
|
|
2
|
112
|
October 31, 2025
|
|
ZIO-HTTP: strange behaviour of Response equality
|
|
0
|
50
|
October 31, 2025
|
|
Scala 3 migration / PureConfig
|
|
1
|
137
|
October 31, 2025
|