Racket
@racketlang
Official Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI
ID:133238209
http://racket-lang.org/ 15-04-2010 10:37:56
9,9K Tweets
7,2K Followers
67 Following
Shriram Krishnamurthi ๐ค ๐ดโโ ๏ธ ๐จ๐ฝโ๐ซ ๐ดโโ๏ธ ๐
@ShriramKMurthi
๐ฆฃ: @[email protected] โขโขโข @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricket
Bartosz Milewski
@BartoszMilewski
Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Talia Ringer ๐ฃ ๐๏ธ
@TaliaRinger
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/ืืื, ND, bi. ืื ืืืืืืฉ
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook}
Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy ยท Core Developer, @racketlang ยท Member, @TC39 ยท Handler, @NaptownUltimate ยท @[email protected]
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.
Jeremy Siek
@jeremysiek
Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Jack Rusher
@jackrusher
Ex-Bell Labs/AT&T Research'er making art & technology. Extended bio in pinned tweet. ๐ @[email protected]
Ben L. Titzer
@TitzerBL
Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Michael Ballantyne
@mj_ballantyne
PhD student @neu_prl, making @racketlang a better host for DSLs.
Sacha Ayoun
@SachaAyoun
Core developer on the Gillian Platform Imperial College PhD student - OCaml enthusiast - CentraleSupelec Alumni
NUS Hackers
@nushackers
We're building a community of passionate hackers in the National University of Singapore ๐ฑ ๐ป
CloudLab
@cloudlabus
CloudLab is flexible, scientific infrastructure for research on the future of cloud computing.
Diego Crespo
@deusinmach
I write the https://t.co/fFGZrEPI0Y blog about Programming, Programming Languages, Technology, and Artificial Intelligence
Lisp Flavored Erlang
@ErlangLisp
Now on Mastodon at https://t.co/EU5aSWmI99
POPL 2024
@poplconf
ACM SIGPLAN Symposium on Principles of Programming Languages. London, England, 17-19 January 2024 (#POPL2024). Tweets by @afd_icl and @wicko3.
Mitch, trying to stay functional ๐ฆ๐ฑ
@mwand
notjack
@doitwithalambda
rapid unscheduled torment nexus disassembly expert โ nonbinary, she/they, 28 โ writes Racket โ https://t.co/CdAMGT8e0s โ https://t.co/sR9IjRAYKt
The Little Learner
@tll_book
Sonic Pi
@Sonic_Pi
The Accessible Live Coding Music Synth for Everyone. Express yourself with code whilst learning core Computer Science concepts. Patreon: https://t.co/BGORZyr8FC
PLDI
@PLDI
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2024. Tweets by @andersmiltner or @lastland0.
Thomas Degueule
@tdegueul
Researcher @CNRS @labriOfficial. Formerly @CWInl & @DiverSE_inria. Software plumbing and evolution, meta-stuff.
fsharpJobs
@fsharpJobs
Ping me If you have open #fsharp position or looking for #fsharp job. Account is owned by @sergey_tihon.
F# Online
@fsharponline
Supporting the worldwide #fsharp community via online channels https://t.co/s6qbeByaYk https://t.co/Ssgwm5gf2f https://t.co/HgMXyL0VS3 @dsyme @_cartermp
fsharp.org
@fsharporg
The official twitter account of the F# Software Foundation
Xtext
@xtext
Xtext - Language Development Framework
spoofax
@spoofax
I'm a language workbench based on declarative DSLs for language definition.
JetBrains MPS
@jetbrains_mps
MPS is an open-source tool to create domain-specific languages (DSL). Join us on Slack: https://t.co/3nx94CwCvJ
Visual Studio Code
@code
Microsoft Visual Studio Code lets you build and debug modern web and cloud applications. Visual Studio Code is free and available on Linux, macOS, and Windows.
Idris Language
@idrislang
The Idris Programming Language. Tweets by @edwinbrady
Snap! Cloud
@SnapCloud
Visually create, save, and share projects, in the cloud, with Snap!, a blocks-based programming language. Brought to you by @UCBerkeley, @SAP and @moenig
Rust Language
@rustlang
A programming language empowering everyone to build reliable and efficient software.
The Elixir programming language
@elixirlang
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
PL Tea
@PLteaforplt
Tea for PLT folks
ICFP Conference
@icfp_conference
ACM SIGPLAN International Conference on Functional Programming. Tweets by @ilyasergey.
Jens Mรถnig
@moenig
Lawyer, Learner, Lead Programmer of @UCBerkeley Snap! Researcher @SAP
OCaml
@OCamlLang
OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.
Haskell
@HaskellOrg
Committed to a welcoming, vibrant & ๏ฌourishing #Haskell community! Managed by @beatleida, @nikivazou & @jaspervdj on behalf of the https://t.co/1sy8nTHi9G Committee
Lean
@leanprover
Lean is a dependently-typed programming language and theorem prover.
Ben Greenman
@ben_greenman
Bogdan Popa
@bogdanp
https://t.co/5Z6o61a0bE
Sebastian Ullrich
@derKha
find me at @[email protected]
Love Racket Bot
@BotRacket
A https://t.co/kHkNIByLlk bot that tweets expressions in Racket that all evaluate to the list '(I love you). Based on https://t.co/TUfQBDFuAB
Scala
@scala_lang
Official account of the Scala Programming Language, developed at @epfl by @odersky, and maintained by Scala Center, LAMP, @Lightbend, and @Virtuslab
Ross A. Baker
@rossabaker
Archived. Continue to follow at: - https://t.co/nLkq1ekxAr - https://t.co/vOk0ff06z4โฆ - @[email protected]
Heather Miller
@heathercmiller
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
zack-ish
@maybenathansbud
dork
Proctor
@stevenproctor
Software Developer in the Dallas/Fort Worth Metroplex. Founder of @dfwerl and host of @fngeekery
shhyou
@shhyou_886
Racket / Haskell98+ฮต / C++98+ฮด
Summer #lang party
@party_lang
Summer #lang party 2022 Announcement: https://t.co/1vP2nPRf1I
Mike Sperber
@sperbsen
Husband, father, C*O at Active Group, functional programmer, researcher, teacher, theater person. Fediverse: @[email protected]
Leif Andersen
@LeifAndersen
Working on Interactive Syntax at UMass Boston. she/her/they/them. Mostly blind #girlslikeus #exmormon #blacklivesmatter https://t.co/FTd8FheWNj (@[email protected])