Following
@dolgov.bsky.socialLean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026. Your favourite Functional Programming conference is here 🥳 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
Scala Days @scaladays.org Time to meet again <3 Scala Days 12 - 13 October 2026 Kulturbrauerei Berlin 2026 organizing host: Plain Schwarz
Maciej Gorywoda @makingthematrix.github.io "There was never us, Xena. Only Rome."
Paul Chiusano @pchiusano.bsky.social Working on @unison-lang.org
Unison @unison-lang.org Friendly programming language from the future Open source http://github.com/unisonweb/unison Cloud platform: https://unison.cloud Community: https://unison-lang.org/discord
Scala.IO @scalaio.bsky.social Scala.io - The French Scala event
Rock the JVM @rockthejvm.com Teaching everything about Scala, Kotlin, functional programming and more. https://rockthejvm.com
The Scala Programming Language @scala-lang.org A programming language that scales with you: from small scripts to large multiplatform applications. https://www.scala-lang.org
OCaml @ocaml.org https://ocaml.org