Turnstile by Stephen Chang, Alex Knauth, Ben Greenman, Milo Turner, and Michael Ballantyne
Pollen by Matthew Butterick
Typed Racket By the Racket team
Racket Mode for Emacs by Greg Hendershott
Overscan by Mark Wunsch
dynamic-ffi by David Benoit
Herbie by Pavel Panchekha, Alex Sanchez-Stern, David Thien, Zachary Tatlock, Jason Qiu, Jack Firth, and James R. Wilcox.
Marionette by Bogdan Popa
charterm by Neil van Dyke
Riposte by Jesse Alama
contract-profile by the Racket team
Terminal Phase by Christopher Lemmer Webber
Polyglot by Sage Gerard
RacketScript by Vishesh Yadav
Cover by Spencer Florence
Racket CAS by Jens Axel Soegaard
Deta by Bogdan Popa
Heresy by Annaia Danvers
Disposable by Jack Firth
XSmith by William Hatch and Eric Eeide
Disassemble by Sam Tobin-Hochstadt
Cassius by Pavel Panchekha, Adam Timothy Geller, Shoaib Kamil, Michael Ernst, Zachary Tatlock, and Emina Torlak
Gregor by Jon Zeppieri
zcpkg by Sage Gerard
binaryio by Ryan Culpepper
quickscript by Laurent Orseau
Redex by Robert Bruce Findler, Casey Klein, Burke Fetscher, and Matthias Felleisen
Plot by Neil Toronto
Futures Visualizer by the Racket team
Koyo by Bogdan Popa
Urlang by Jens Axel Soegaard
crypto by Ryan Culpepper
resyntax by Jack Firth
Argo by Jesse Alama
Molis-Hai by John Clements
Landau
Racket-cord
Bookcover by Joel Dueck
Beeswax by Joel Dueck
Sauron by Lîm Tsú-thuàn
RSound by John Clements
congame by Marc Kaufmann and Bogdan Popa
north by Bogdan Popa
Qi by Siddhartha Kasivajhula
Featured Papers
The Racket Manifesto by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy, Sam Tobin-Hochstadt
Automatically RESTful Web Applications: Marking Modular Serializable Continuations by Jay McCarthy
Automata via Macros by Shriram Krishnamurti
DrScheme: A Programming Environment for Scheme by Robert Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, and Matthias Felleisen
The Development of Chez Scheme by R. Kent Dybvig
Pycket: A Tracing JIT for a Functional Language by Spenser Bauman, Carl Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy Siek and Sam Tobin-Hochstadt
On the expressive power of programming languages by Matthias Felleisen
Rebuilding Racket on Chez Scheme (Experience Report) by Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sam Tobin-Hochstadt and Jon Zeppieri
Honu: Syntactic Extension for Algebraic Notation through Enforestation by Jon Rafkind and Matthew Flatt
Precise Garbage Collection for C by Jon Rafkind, Adam Wick, John Regerh and Matthew Flatt
Reaching Python from Racket by Pedro Ramos and António Leitão
Foreign Interface for PLT Scheme by Eli Barzilay and Dmitry Orlovsky
Syntax Templates in Racket by Ryan Culpepper
Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) by Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen
Bindings as Sets of Scopes by Matthew Flatt
Option Contracts by Christos Dimoulas, Robert Bruce Findler, and Matthias Felleisen
FrTime: Functional Reactive Programming in PLT Scheme by Gregory Cooper and Shriram Krishnamurthi
The Design and Implementation of Typed Scheme by Sam Tobin-Hochstadt and Matthias Felleisen
From Macros to DSLs: The Evolution of Racket by Ryan Culpepper, Matthias Felleisen, Matthew Flatt, and Shriram Krishnamurthi
How to evaluate the performance of gradual type systems, by BEN GREENMAN, ASUMU TAKIKAWA, MAX S. NEW, DANIEL FELTEY, ROBERT BRUCE FINDLER, JAN VITEK and MATTHIAS FELLEISEN
Scribble: closing the book on ad hoc documentation tools, by Matthew Flatt, Eli Barzilay and Robert Bruce Findler
Composable and Compilable Macros: You Want it When? by Matthew Flatt
Submodules in Racket: You Want it When, Again? by Matthew Flatt
Feature-Specific Profiling by Leif Andersen, Vincent St-Amour, Jan Vitek and Matthias Felleisen
Towards Practical Gradual Typing by Asumu Takikawa, Daniel Felty, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt and Matthias Felleisen
Typing the Numeric Tower, by Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, and Matthias Felleisen
Bithoven - Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis, by Jay McCarthy
Sham: A DSL for Fast DSLs, by Rajan Walia, Chung-Chieh Shan, and Sam Tobin-Hochstadt
Super 8 Languages for Making Movies (Functional Pearl) by Leif Andersen, Stephen Chang, Matthias Felleisen
Automated Reasoning for Web Page Layout by Pavel Panchekha and Emina Torlak
Compiler and Runtime Support for Continuation Marks by Matthew Flatt and Kent Dybvig
Hygienic Macro Expansion by Eugene Kohlbecker, Daniel P. Friedman, Matthias Felleisen and Bruce Duba
Languages as Libraries by Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, and Matthias Felleisen
Hygienic Macro Technology, by William Clinger and Mitchell Wand
Profiling For Laziness, by Stephen Chang and Matthias Felleisen
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification by Cameron Moy, Phuc C. Nguyen, Sam Tobin-Hochstadt, David van Horn
Rash: form reckless interactions to reliable programs, by William Hatch, and Matthew Flatt
Adding Interactive Visual Syntax to Textual Code by Leif Andersen, Michael Ballantyne, and Matthias Felleisen.
Macros for Domain-Specific Languages by Michael Ballantyne, Alexis King, and Matthias Felleisen.
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine), by Matthew Flatt, Robert Findler, Shriram Krishnamurti, and Matthias Felleisen
Macros that Work Together - Compile-Time Bindings, Partial Expansion, and Definition Contexts by Matthew Flatt, Ryan Culpepper, David Darais, and Robert Findler
Gradual typing for first-class classes by Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen
Fortifying Macros, Ryan Culpepper
Does blame shifting work? by Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Findler, and Christos Dimoulas
Chaperones and Impersonators: Run-time Support for Reasonable Interposition, by T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, and Matthew Flatt
Complete monitors for behavioral contracts, by Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
Is sound gradual typing dead?, by Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen
How to Evaluate Blame for Gradual Types, by Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas