Racket
@racketlang
Followers
7K
Following
962
Media
372
Statuses
10K
Official Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI
Boston, MA
Joined April 2010
Cloudflare blog post about using racket + rosette:."How we prevent conflicts in authoritative DNS configuration using formal verification".describes using racket + rosette for formal verification of cloudflare configurations.
1
22
86
RT @dev_null321: Created this last year, it's a simple deep learning library in Racket (LISP). Hopefully it's useful for someone. https://….
0
3
0
Racket meet-up: Saturday, 5 July! (Not June). Everyone is welcome to join us for the Racket meet-up: Saturday, 5 July, 2025 at 18:00 UTC. EVERYONE WELCOME 😁.
2
4
14
Everyone is welcome to join us for the Racket meet-up: Saturday, 7 June, 2025 at 18:00 UTC. EVERYONE WELCOME 😁
2
4
23
RT @ShriramKMurthi: Been bothering me a while, so I created a Racket extension to refer to variables by position: eg,.(define hypotenuse….
0
3
0
RT @samth: Over the 10 days, I wrote a new Racket library for "expect testing", a style that @yminsky has advocated for in OCaml. https://t….
0
11
0
RT @spdegabrielle: @racketlang The animated version for those of you who aren’t lucky enough to be using DrRacket today .
0
1
0
0
1
0
0
6
13
Rhombus and Racket Interoperability."Rhombus is implemented on top of Racket, and the two languages share a module system and many data representations. […] This document describes techniques and libraries for interoperating between the two languages.".
0
6
30
[Discourse]( and [Discord]( are the most active places for Racketeers & the best place to ask questions. (Questions are welcomed).#Racket #Scheme #Lisp #RacketLisp.
0
1
12
dbg: A server, client and UI for remotely debugging Racket applications. #racket #lisp #scheme #racketlisp
0
3
33