“Implementing Type Systems as Macros”

lambdaland.org/posts/2023-08-…
#Racket #Racket Lang #Racket Language

Racket meet-up: Saturday, 6 April, 2024 at 18:00 UTC
announcement at racket.discourse.group/t/racket-meet-…

EVERYONE WELCOME 😁

I was helping my friend practice some LeetCode and discovered the platform now supports Racket - niceee 🤘

so - x64 / RISC-V assembly next?

Questions tagged [Racket] stackoverflow.com/questions/tagg…

Server: Racket (serverracket.com)
by Jesse Alama

Practical advice for real-world web development with Racket

Racket meet-up: Saturday, 2 March, 2024 at 18:00 UTC
announcement at racket.discourse.group/t/racket-meet-…

EVERYONE WELCOME 😁

Racket—the Language-Oriented Programming Language—version 8.12 is now available from racket-lang.org

See racket.discourse.group/t/racket-v8-12… for the release announcement and highlights.

Thank you to the many people who contributed to this release!

Feedback Welcome

#lang Karp : Formulating and Random Testing NP Reductions by Chenhao Zhang eecs.northwestern.edu/~czu2221/

'discusses the implementation of Karp on top of Racket and solver-aided host language Rosette'

Watch now: youtu.be/GUXcctw5Qks

#Racket #Racket Lang #Racket Language #Racket Con