Simple refinement types for Scala
created at May 10, 2015, 4:23 p.m.
32
1,280
119
Operations for primitive and String singleton types
created at May 29, 2016, 5:55 p.m.
11
121
15
A conflict-free replicated JSON datatype (CRDT) in Scala
created at Aug. 23, 2016, 5:54 a.m.
16
216
12
:robot: A bot that helps you keeping your Scala projects up-to-date
created at Sept. 6, 2018, 7:44 p.m.
20
682
294