typelevel.scala @typelevel
Let the Scala compiler work for you. We provide type classes, instances, supplements to the standard library, and much more. Now at @[email protected] typelevel.org Joined March 2013-
Tweets2K
-
Followers9K
-
Following106
-
Likes182
Typelevel will be participating in Google Summer of Code 2023 🥳 Read more about the proposed projects in the latest blog post typelevel.org/blog/2023/02/2…
0
7
26
5K
0
View Details
Hot on the heels of cats is a big new release of cats-effect. Major optimizations and other improvements to Queue, experimental support for Scala Native, and lots more: check out the release notes for full details! github.com/typelevel/cats…
Big releases this weekend! First up is cats 2.9.0, with lots of new features and optimizations from many members of the community. Check it out at github.com/typelevel/cats…
Hi, all! Those who have moved over to Mastodon can now find us there as @[email protected].
@cyri77e Thanks for the heads up! Addressing now
The 2022 Scala developer survey is open! It will only take 4-12 minutes, and there's a Typelevel section 😸📝 Share your thoughts before it closes on **Oct 21** scala-lang.org/blog/2022/09/2…
Several Typelevel projects have recently been published for Scala Native 🤩🎉😻 Read about what this means and how it works in a new blog post from @armanbilge typelevel.org/blog/2022/09/1…
Starting the week with some fun news! Typelevel maintainers and contributors now have access to Tuple, a pair programming app. Happy collaborating 🎉 typelevel.org/blog/2022/09/1…
scalac-options contains logic for configuring Scala compiler options according to the current Scala compiler version. Generalized for use in sbt, mill, and others: github.com/typelevel/scal…
fs2-3.2.11 is out with a fix to mTLS client verification on the node.js platform. Users on Node should upgrade immediately. github.com/typelevel/fs2/… github.com/typelevel/fs2/…
We are delighted to announce six additions to the Typelevel Steering Committee. Please join us in welcoming: * Zach McCoy * Sam Pillsworth * Jasna Rodulfa-Blemberg * Andrew Valencik * Vasil Vasilev * Mark Waks (aka Justin du Coeur) typelevel.org/blog/2022/07/2…
FS2 is the functional streaming library that underpins much of the Typelevel ecosystem. 3.2.9 has bugfixes for java.io integration and the Node.js backend. github.com/typelevel/fs2/…
cats-mtl to the metal: v1.3.0 brings Scala Native support. github.com/typelevel/cats…
mouse-1.1.0 has been released. Seven more syntax helpers, and Scala.js support for Scala 3: github.com/typelevel/mous…
Er, it's releasing now. The Department of Social Media got a bit too exuberant when they saw the tag and didn't check Maven Central.
spire-0.18.0, our numerics library, has been released. This is the first Spire release to support Scala 3. github.com/typelevel/spir…
More and more Typelevel libraries support Scala Native. If you don't have the setup, the typelevel-nix devshell now has an optional integration. Get a full JVM/JS/Native environment with Direnv+Nix! github.com/typelevel/type…
Cats 2.8.0 is out. New functions, new optimizations, the first Scala 3 release on Scala Native, and 17 new contributors! github.com/typelevel/cats…
Optimized chunks, bugfixes, unidocs, and more in fs2-3.2.8: github.com/typelevel/fs2/…
Rock the JVM @rockthejvm
10K Followers 259 Following Teaching #Scala, #Kotlin, #Spark, #Flink and tech on the JVM. 📹 Videos at https://t.co/1ODhzZCpb9 🔖 Articles at https://t.co/gK3x49Bxk5
Gabrieλ Volpe @volpegabriel87
4K Followers 295 Following Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell
Alvin Alexander @alvinalexander
6K Followers 416 Following Over 260 free Scala & Functional Programming videos: https://t.co/pWogmdssB1
Chris Kipp | @ckipp@h... @ckipp01
1K Followers 371 Following I enjoy working on tooling, simple tech, and learning. One day I'll know things. I try to write Scala and host the Tooling Talks podcast. he/him
James Ward @JamesWard
19K Followers 3K Following My book: https://t.co/QGevhw6nyE | My podcast: @HappyPathProg | @AWSCloud Agent Experience | @AgenticAIFdn TC | My opinions are mine
Konrad ‘ktoso’ Ma... @ktosopl
8K Followers 4K Following “Life is Study!”; [email protected]; Concurrency & Distributed Swift @ Previously: Reactive Streams (TCK), @akkateam, @geecon @Java_Champions
Anton Sviridov @velvetbaldmime
928 Followers 292 Following Experienced typewriter operator. I do programming things.
Ólafur Páll Geirsso... @olafurpg
3K Followers 889 Following Preparing for a world with a million times more code
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Jules Ivanic @guizmaii
2K Followers 2K Following | Software Engineer | Functional Programmer | 🇨🇵 citizen | 🇦🇺 permanent resident | 🌊 🏄🏻♂️ ❤️ | @guizmaii.bsky.social | I talk about Software Engineering
Oli Dinov 💙 @olidinov
2K Followers 323 Following AI By the Bay | Nov 17-19, Oakland, CA | host @devrelradio
Xebia @Xebia_Global
6K Followers 492 Following Xebia is a global, award-winning, AI-first consulting, software engineering, and training company.
Flavio Brasil @fwbrasil
3K Followers 3K Following
P. Oscar Boykin @posco
9K Followers 2K Following engineer for recommendations at @Netflix. Former employee of @stripe, @twitter. Former academic. Programmer. Maui resident. Just some guy. @[email protected]
Paweł Szulc @EncodePanda
3K Followers 665 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Raúl Raja @raulraja
5K Followers 2K Following Interested in AI, Functional Programming & Formal verification. CTO @AIPredictable
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 8K Following OSS AI Leader. Head of Community, @lakesailhq. Cofounder, AI Alliance, GenAI Commons. Run @scalebythebay: https://t.co/VG37Z4xWmj. Join https://t.co/1CPrpnFzAs!
justinhj 🇬🇧🇨... @justinhj
2K Followers 4K Following Principal Software Engineer. Distributed systems, Generative AI, Neovim, Emacs, programming languages. Justin is a human and can make mistakes.
Scala Jobs @ScalaJobsDev
3K Followers 2K Following Follow us for the latest #Scala jobs from https://t.co/1evuxzwIPo. Are you hiring or looking for a job? Tag us to get retweeted!
Rhododendron @Rhododendron381
0 Followers 7 Following
John Smith @JohnSmithjftm
0 Followers 32 Following
Faruk Cebeci @cbcfrk
1 Followers 65 Following
Seejo Crux (in 4D) @SeejoCrux4D
34 Followers 72 Following Coder 💻, gamer 🎮, cat dad 🐈. V-Tuber Fan Account: @SeejoCrux
Anurag Chaudhuri @AnuragChaudhur9
4 Followers 22 Following
Dead Acc, moved to La... @SadHamiltonian
233 Followers 1K Following
Monadic Chain @monadicchain
2 Followers 145 Following Distributed systems engineer; currently studying compilers
Darren Weston @DarrenWest10044
13 Followers 136 Following
unis beig @UnisBeig
0 Followers 56 Following
Ron @Ron45142397
3 Followers 114 Following
David Oladepo Rustace... @TheKingDavid001
174 Followers 5K Following Rust developer | Building high-performance systems | Learning-in-public | I write Rust threads that help devs level up
InstaCódigo @instacodigo
22 Followers 1K Following
ScalaTut @ScalaTut
6 Followers 35 Following A social part of the free, interactive tutorials to master Scala from zero to hero. 70+ lessons & exercises. Always free. #Scala #FunctionalProgramming
jubeelee @jubeelee2
14 Followers 1K Following
wubixuan @wbx474846718
73 Followers 2K Following
Garrett Turner @GTurn13
781 Followers 6K Following
aiventure-labs @AIVenture_Labs
3 Followers 92 Following Our expert team combines advanced machine learning algorithms with functional programming excellence to deliver scalable, efficient, and intelligent software
Bryan J Garzon @yuri4n_
12 Followers 178 Following
Gregory Chris @gri_schock
53 Followers 847 Following
john doe @johndoe39242384
7 Followers 475 Following
bling @blingdivinity
1K Followers 2K Following Artist, Open to Interpretation 𖣘 American Undergraduate 𓉱 Casting Mathemagical Spells 𝜆
Matti Palli 🧙�... @tritlo
4K Followers 2K Following uncertified haskell engineer | certified researcher
ms @miisiek8
0 Followers 4 Following
Chris Van zyl @chrisvanzylct
1 Followers 106 Following
Kannupriya Kalra @KannupriyaKalra
46 Followers 61 Following Engineering Leader | AI & Scala Backend | GSoC '24-'25 Org Admin & Mentor @ScalaCenter | Global Speaker | llm4s Maintainer | AI Community Builder
Sebastian Kraus @wastl1893
0 Followers 314 Following
Mark de Jong @fristi1986
0 Followers 41 Following
Brix 🇹🇼🇺🇦 @lbrixnr
33 Followers 370 Following
Stefan Derdak @sderdak
34 Followers 494 Following
rick stein @RickStein
7 Followers 199 Following
Taj Singh @TajSinghN
4 Followers 106 Following Software Engineer 💻 Currently working with Python • Scala • TS • NodeJS • GCP • GraphQL • MongoDB • SQL
Giuseppe Cannella @gekomad
0 Followers 9 Following
Clinton Breckenridge ... @ClintonBre90266
0 Followers 90 Following
Marc Gris @MarcGris2
100 Followers 1K Following Software & Data Engineer - Lover of Strong Types & All things FP - Former professional Musician - and… (humbly aspiring) Philosopher
Felipe @FelipeFranco010
6 Followers 147 Following
Lukasz Lenart @lukaszlenart
815 Followers 280 Following OSS enthusiast, ASF committer, Apache Struts 2 lead, developer, husband and father and biker :-)
Rúnar @runarorama
13K Followers 118 Following Icelander. Eudaimonist. Individualist. Comonad enthusiast. Co-creator of the Unison programming language. Co-author of Functional Programming in Scala.
Chris Kipp | @ckipp@h... @ckipp01
1K Followers 371 Following I enjoy working on tooling, simple tech, and learning. One day I'll know things. I try to write Scala and host the Tooling Talks podcast. he/him
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Daniel Spiewak @djspiewak
12K Followers 115 Following Progressively redirecting to https://t.co/DeFYDDcrcj
Xebia @Xebia_Global
6K Followers 492 Following Xebia is a global, award-winning, AI-first consulting, software engineering, and training company.
P. Oscar Boykin @posco
9K Followers 2K Following engineer for recommendations at @Netflix. Former employee of @stripe, @twitter. Former academic. Programmer. Maui resident. Just some guy. @[email protected]
Edward Kmett @kmett
17K Followers 813 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Adam Rosien @arosien
1K Followers 659 Following super-ultra-premium, e.g., #scala, functional programming, mentoring. he/him. principal at @InnerProductLLC, author https://t.co/knbxEOC68t @[email protected]
Arman Bilge @armanbilge
212 Followers 445 Following Computational evolutionary biologist. I write Scala, read DNA, and speak in conditional probabilities.
Laurent Parenteau @laurent_parente
59 Followers 111 Following • Working remotely since 2009 • Senior Director of Engineering @ https://t.co/5T95UJct2V • Mentor at @platohq and @adplist
Guillaume 🦋 @bogardguillaume
249 Followers 420 Following Functional programmer. Rust, Haskal, Scala. 👨💻 / 🎬 / 🐶 / 🏳️🌈 he/him. On the other place where the sky is blue
Piotr Gawryś @p_gawrys
296 Followers 131 Following Maintainer of Monix and Kraków Scala User Group co-organizer. Interested in FP and Concurrency. Works at @SwissBorg
Kevin Meredith @Gentmen
561 Followers 2K Following Shareholder-Driven SWE / REST / Leader / Follower / PostgreSQL / Scala / Kafka / Author - https://t.co/jOI6HXIha5 https://t.co/GAP6O4brjq
Triplequote @triple_quote
557 Followers 113 Following Triplequote makes Scala more badass, bringing ridiculous compiler speed, tools and support to help you rock your code the way you always wanted!
Darja Jovanovic @darjutak
837 Followers 203 Following Scala Center executive director, https://t.co/OKaHKXygFR 🍀 views are my own
![λ[Wallflower[+?]] |-/ FreeR[Caffeine](developer) ||-// 🇨🇴](https://pbs.twimg.com/profile_images/1479203034836213764/lDx8uqI7.jpg)
Jefersøn Dαvid Ossa... @unyagami
187 Followers 157 Following λ[Wallflower[+?]] |-/ FreeR[Caffeine](developer) ||-// 🇨🇴
Romain Ruetschi (@rom... @_romac
868 Followers 1K Following Not on Twitter anymore. Follow me on Mastodon (https://t.co/9Ds5RlyMuM) and Bluesky (https://t.co/ldcpRlJfty) instead.
Oron Port @soronpo
206 Followers 241 Following CEO and Co-founder of DFiant | Opensource contributor | Scala SIP committee member
Denis Rosset @denisrosset
28 Followers 43 Following
Mark Justin Waks @jducoeur
238 Followers 89 Following I'm largely done with this hellsite. Find me now at @[email protected]
holden karau @holdenkarau
16K Followers 2K Following she/her, OSS Big Data. ❤️🛵 ☕️ spark. I don't represent my employer. Live @ https://t.co/uOyeZtBXx0 , https://t.co/GB3Ok0vbVA
@LukaJacobowitz@masto... @LukaJacobowitz
3K Followers 531 Following I mostly tweet about Functional Programming, bikes & urbanism. Works @CompStak, maintainer of @typelevel Cats 🐱 I care about equality. He/him
Felix Mulder Witasp @FelixMulder
2K Followers 247 Following Black Lives Matter, he/him Engineer @Stripe Ex Scala 3 Compiler Engineer at LAMP, EPFL Ex Team Lead @Klarna, built EU's first cloud-only bank using FP
Stefan Schneider @fdWvHarry
27 Followers 156 Following
Annette Bieniusa @anne_biene
939 Followers 550 Following Professor in CS at RPTU. Team member @ElectricSQL . Passionate coder and family person.
Heather Miller @heathercmiller
14K Followers 1K Following Science-ing at Two Sigma, Professing computery things at CMU. Co-founder & former Exec Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Itamar Ravid @iravid
2K Followers 2K Following Building @scroll_ai. Prev: @coralogix, @hunters_ai, @zivergetech, Riskified, @bigpanda. @zioscala contributor.
Cam @CamJo89
158 Followers 216 Following
Luca (also on the oth... @__lucab
2K Followers 2K Following former @NIST AI Fellow and @UCBerkeley Tech Policy Co-founder of Twitter's Machine Learning Ethics team (RIP) Opinionated about 🇮🇹 food Tweet with Typos
Zalando Technology @ZalandoTech
13K Followers 926 Following We're the technology team at Zalando, Europe’s leading multi-brand fashion and lifestyle destination. For company updates, check out @Zalando_Press 👈
Dorothy Ordogh @dordogh
634 Followers 1K Following BLM. Feminist. Software Engineer. Dancer. 🇨🇦. she/her/hers
Bonnie 🧶 | @trikan... @brindelle
5K Followers 517 Following @[email protected] https://t.co/Sf2ao0zbqE Knitter, sewist, spoonie, @nycresistor member. #StillHereStillSick
Cem 💎 is in Copenh... @cem2ran
2K Followers 6K Following AI & Web3 curious Software Eng @BifrostWallet 🚀 Previously: #ReactNative Tech Lead @ https://t.co/iT62lKIy3B 💪 & Co-Organizer @ReactCPH ⚛
Lambda World @Lambda_World
4K Followers 272 Following An international conference for Functional Programming enthusiasts. October 29-30, 2026 - Palacio de Congresos de Torremolinos, Málaga, Spain.
Andrea McAts @silverSpoon
2K Followers 2K Following Programming, some cats, otters and giraffes... (she/her) mastodon: @[email protected]
Zhenhao Li @data_fly
203 Followers 253 Following Follower of Jesus. Founder of PairTime. Live for truth, love, and freedom.
http4s @http4s
2K Followers 10 Following
Harry @harrylaou
525 Followers 530 Following Software Engineer. (Mostly Scala, Functional Programming, Typescript... ) Bluesky: @harrylaou.bsky.social
kenbot @KenScambler
2K Followers 887 Following Architecture, compositionality, code. Architect @ MYOB Site: https://t.co/ispAQvWOua
Niki Vazou @nikivazou
3K Followers 463 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
Ratan Sebastian @ratansebastian
236 Followers 554 Following PhD Student at Leibniz University, Hannover / Technische Informationsbibliothek. Work on Information Retrieval in Education.
[email protected] @oacgnol
761 Followers 596 Following i was a twitter account Mastodon: https://t.co/Wkj3eMUIGr
Owein Reese @OweinReese
318 Followers 237 Following Programming language polyglot, dad, windsurfer and pilot. Fond of snooze buttons, avocado, sausage and bacon.
Daniela Sfregola @DanielaSfregola
2K Followers 346 Following Author of Get Programming with Scala, Senior Software Engineer
Sofia Vaughan-Jones @SofiaVJones
547 Followers 233 Following Scala Engineering Manager 👩🏻💻 Bookworm 📚 Welsh 🏴 Wife 💍 Mother 🧒🏼👶🏻 She/Her ⭐️You might like
Scala Times
@ScalaTimes
8K Followers
Li Haoyi
@li_haoyi
10K Followers
Scala Days
@scaladays
9K Followers
Scala
@scala_lang
30K Followers
IntelliJ Scala
@IntelliJScala
5K Followers
Adam Warski
@adamwarski
8K Followers
Adriaan Moors
@adriaanm
5K Followers
Heather Miller
@heathercmiller
14K Followers
John A De Goes
@jdegoes
20K Followers
Impure Pics
@impurepics
6K Followers
Rúnar
@runarorama
13K Followers
Eric Torreborre
@etorreborre
7K Followers
Stefan Zeiger
@StefanZeiger
4K Followers