Skip to content

Latest commit

 

History

History
143 lines (134 loc) · 8.95 KB

README.md

File metadata and controls

143 lines (134 loc) · 8.95 KB

Racket News

Projects in the Spotlight

  1. Rash by William Hatch
  2. Rosette by Emina Torlak
  3. Frog by Greg Hendershott
  4. Metapict by Jens Axel-Soegaard
  5. ActivityLog2 by Alex Harsanyi
  6. brag by Danny Yoo and Matthew Butterick
  7. #lang video by Leif Andersen
  8. Scribble by the Racket team
  9. Rebellion by Jack Firth
  10. Xenomorph by Matthew Butterick
  11. aws by Greg Hendershott
  12. remix by Jay McCarthy
  13. Turnstile by Stephen Chang, Alex Knauth, Ben Greenman, Milo Turner, and Michael Ballantyne
  14. Pollen by Matthew Butterick
  15. Typed Racket By the Racket team
  16. Racket Mode for Emacs by Greg Hendershott
  17. Overscan by Mark Wunsch
  18. dynamic-ffi by David Benoit
  19. Herbie by Pavel Panchekha, Alex Sanchez-Stern, David Thien, Zachary Tatlock, Jason Qiu, Jack Firth, and James R. Wilcox.
  20. Marionette by Bogdan Popa
  21. charterm by Neil van Dyke
  22. Riposte by Jesse Alama
  23. contract-profile by the Racket team
  24. Terminal Phase by Christopher Lemmer Webber
  25. Polyglot by Sage Gerard
  26. RacketScript by Vishesh Yadav
  27. Cover by Spencer Florence
  28. Racket CAS by Jens Axel Soegaard
  29. Deta by Bogdan Popa
  30. Heresy by Annaia Danvers
  31. Disposable by Jack Firth
  32. XSmith by William Hatch and Eric Eeide
  33. Disassemble by Sam Tobin-Hochstadt
  34. Cassius by Pavel Panchekha, Adam Timothy Geller, Shoaib Kamil, Michael Ernst, Zachary Tatlock, and Emina Torlak
  35. Gregor by Jon Zeppieri
  36. zcpkg by Sage Gerard
  37. binaryio by Ryan Culpepper
  38. quickscript by Laurent Orseau
  39. Redex by Robert Bruce Findler, Casey Klein, Burke Fetscher, and Matthias Felleisen
  40. Plot by Neil Toronto
  41. Futures Visualizer by the Racket team
  42. Koyo by Bogdan Popa
  43. Urlang by Jens Axel Soegaard
  44. crypto by Ryan Culpepper
  45. resyntax by Jack Firth
  46. Argo by Jesse Alama
  47. Molis-Hai by John Clements
  48. Landau
  49. Racket-cord
  50. Bookcover by Joel Dueck
  51. Beeswax by Joel Dueck
  52. Sauron by Lîm Tsú-thuàn
  53. RSound by John Clements
  54. congame by Marc Kaufmann and Bogdan Popa
  55. north by Bogdan Popa
  56. Qi by Siddhartha Kasivajhula

Featured Papers

  1. The Racket Manifesto by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy, Sam Tobin-Hochstadt
  2. Automatically RESTful Web Applications: Marking Modular Serializable Continuations by Jay McCarthy
  3. Automata via Macros by Shriram Krishnamurti
  4. DrScheme: A Programming Environment for Scheme by Robert Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, and Matthias Felleisen
  5. The Development of Chez Scheme by R. Kent Dybvig
  6. 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
  7. On the expressive power of programming languages by Matthias Felleisen
  8. 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
  9. Honu: Syntactic Extension for Algebraic Notation through Enforestation by Jon Rafkind and Matthew Flatt
  10. Precise Garbage Collection for C by Jon Rafkind, Adam Wick, John Regerh and Matthew Flatt
  11. Reaching Python from Racket by Pedro Ramos and António Leitão
  12. Foreign Interface for PLT Scheme by Eli Barzilay and Dmitry Orlovsky
  13. Syntax Templates in Racket by Ryan Culpepper
  14. Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) by Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen
  15. Bindings as Sets of Scopes by Matthew Flatt
  16. Option Contracts by Christos Dimoulas, Robert Bruce Findler, and Matthias Felleisen
  17. FrTime: Functional Reactive Programming in PLT Scheme by Gregory Cooper and Shriram Krishnamurthi
  18. The Design and Implementation of Typed Scheme by Sam Tobin-Hochstadt and Matthias Felleisen
  19. From Macros to DSLs: The Evolution of Racket by Ryan Culpepper, Matthias Felleisen, Matthew Flatt, and Shriram Krishnamurthi
  20. 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
  21. Scribble: closing the book on ad hoc documentation tools, by Matthew Flatt, Eli Barzilay and Robert Bruce Findler
  22. Composable and Compilable Macros: You Want it When? by Matthew Flatt
  23. Submodules in Racket: You Want it When, Again? by Matthew Flatt
  24. Feature-Specific Profiling by Leif Andersen, Vincent St-Amour, Jan Vitek and Matthias Felleisen
  25. Towards Practical Gradual Typing by Asumu Takikawa, Daniel Felty, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt and Matthias Felleisen
  26. Typing the Numeric Tower, by Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, and Matthias Felleisen
  27. Bithoven - Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis, by Jay McCarthy
  28. Sham: A DSL for Fast DSLs, by Rajan Walia, Chung-Chieh Shan, and Sam Tobin-Hochstadt
  29. Super 8 Languages for Making Movies (Functional Pearl) by Leif Andersen, Stephen Chang, Matthias Felleisen
  30. Automated Reasoning for Web Page Layout by Pavel Panchekha and Emina Torlak
  31. Compiler and Runtime Support for Continuation Marks by Matthew Flatt and Kent Dybvig
  32. Hygienic Macro Expansion by Eugene Kohlbecker, Daniel P. Friedman, Matthias Felleisen and Bruce Duba
  33. Languages as Libraries by Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, and Matthias Felleisen
  34. Hygienic Macro Technology, by William Clinger and Mitchell Wand
  35. Profiling For Laziness, by Stephen Chang and Matthias Felleisen
  36. Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification by Cameron Moy, Phuc C. Nguyen, Sam Tobin-Hochstadt, David van Horn
  37. Rash: form reckless interactions to reliable programs, by William Hatch, and Matthew Flatt
  38. Adding Interactive Visual Syntax to Textual Code by Leif Andersen, Michael Ballantyne, and Matthias Felleisen.
  39. Macros for Domain-Specific Languages by Michael Ballantyne, Alexis King, and Matthias Felleisen.
  40. Profile-Guided Meta-Programming, PLDI 2015. William Bowman https://github.com/wilbowma/pgmp
  41. Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine), by Matthew Flatt, Robert Findler, Shriram Krishnamurti, and Matthias Felleisen
  42. Macros that Work Together - Compile-Time Bindings, Partial Expansion, and Definition Contexts by Matthew Flatt, Ryan Culpepper, David Darais, and Robert Findler
  43. Gradual typing for first-class classes by Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen
  44. Fortifying Macros, Ryan Culpepper
  45. Does blame shifting work? by Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Findler, and Christos Dimoulas
  46. Chaperones and Impersonators: Run-time Support for Reasonable Interposition, by T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, and Matthew Flatt
  47. Complete monitors for behavioral contracts, by Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
  48. Is sound gradual typing dead?, by Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen
  49. How to Evaluate Blame for Gradual Types, by Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas
  50. How to Design Co-Programs (http://www.cs.ox.ac.uk/jeremy.gibbons/publications/copro.pdf)
  51. Prototypes: Object-Orientation, by Functionally http://fare.tunes.org/files/cs/poof.pdf -- Parallel machine simulator using racket/scheme functional programming language (https://www.spiedigitallibrary.org/conference-proceedings-of-spie/11718/117182N/Parallel-machine-simulator-using-racketscheme-functional-programming-language/10.1117/12.2572096.short?SSO=1)
  52. VERIFYING CORRECTNESS OF A CHEZ SCHEME COMPILER PASS https://digitalcommons.calpoly.edu/cgi/viewcontent.cgi?article=3900&context=theses San Luis Obispo
  53. Runtime and compiler support for HAMTs https://dl.acm.org/doi/abs/10.1145/3486602.3486931

Call to Racket Champions

2020

  1. #3336 Jesse Alama - https://github.com/racket/racket/commit/b722d810592dbfa1a668bf24eefce29d2773a0f2
  2. #1400 Nobody
  3. #2314 xxyzz - https://github.com/racket/racket/commit/659741bb5852d23ed6359ff420cb3db7f38d34cb
  4. #3161 Nobody
  5. #3161 Walter Yang - https://github.com/racket/racket/commit/62f444d4e13f3a59f59d22f7fee70de63140e7b7
  6. #813 (racket/typed-racket) Nobody
  7. #813 (racket/typed-racket) Lîm Tsú-thuàn - https://github.com/racket/typed-racket/pull/999/commits/3bb70c405c1ba864e1e05a2f8424907c4fb453d9
  8. Hiatus

2021

  1. #3603 xxyzz - https://github.com/racket/racket/commit/d03456b55e9321d491b5a936cf721466728376e2
  2. #2883
  3. #2883
  4. #2883 xxyzz - https://github.com/racket/racket/commit/c9956aceaeecb3be747c152c323b7010a371816b
  5. #29 (racket/pict)
  6. #29 (racket/pict)
  7. #1463 (racket/racket)
  8. #1463 (racket/racket) sorawee - https://github.com/racket/racket/commit/03219452b991f441f6a5c73eb0b9d44c3780674d
  9. #1636 (racket/racket)