Lifting Reduction Semantics through Syntactic Sugar
☆13May 13, 2018Updated 8 years ago
Alternatives and similar repositories for Resugarer
Users that are interested in Resugarer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Racket implementation of the Mustache template engine☆10Feb 9, 2015Updated 11 years ago
- Racket bindings for Z3☆25May 11, 2019Updated 7 years ago
- racket benchmarking library☆13May 25, 2019Updated 7 years ago
- ☆19Nov 23, 2021Updated 4 years ago
- Format Racket source code☆15Jul 23, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Aug 11, 2026Updated 2 months ago
- Generic bind forms for Racket☆12Aug 21, 2023Updated 3 years ago
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Jun 11, 2024Updated 2 years ago
- Designing Programs with Class☆28Jan 30, 2018Updated 8 years ago
- Atom/RSS/RDF feeds --> Gmail using IMAP APPEND.☆13Jan 14, 2017Updated 9 years ago
- Medic Package☆10Nov 8, 2015Updated 10 years ago
- Hash Array Mapped Tries for Racket☆20Jan 30, 2017Updated 9 years ago
- A Roguelike inspire by Betrayal at House on the Hill☆11Feb 17, 2014Updated 12 years ago
- Quickcheck Clone implemented in Racket☆31Jul 30, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆11Aug 11, 2016Updated 10 years ago
- ☆15Dec 28, 2018Updated 7 years ago
- Boris The (Web) Spider☆13Nov 18, 2013Updated 12 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 11 years ago
- Demonstration of implementing a language in Racket☆58Jul 9, 2014Updated 12 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 5 years ago
- Swank server for the Racket programming language (formerly PLT Scheme)☆13Jun 8, 2018Updated 8 years ago
- A web-based Racket REPL and tutorial☆29Sep 23, 2014Updated 12 years ago
- Units and measurements in Racket☆10Jan 20, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 14 years ago
- ☆14Jan 14, 2022Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆17Dec 19, 2023Updated 2 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Dec 21, 2021Updated 4 years ago
- a Racket formatter that only fixes whitespaces☆12Jun 6, 2026Updated 4 months ago
- Operator syntax for the Lisp family of languages (Racket implementation)☆33Jan 16, 2014Updated 12 years ago
- A simple 8-bit virtual stack machine☆16Aug 30, 2014Updated 12 years ago
- A cron-like scheduler for Racket.☆12Mar 2, 2026Updated 8 months ago
- A Tiny programming language implemented in Racket (from /r/DailyProgrammer)☆14Sep 11, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Scala-style magic function application form☆42Jul 31, 2022Updated 4 years ago
- Disassembler for Racket☆84Sep 29, 2026Updated last month
- A YAML library for Racket.☆20Jan 19, 2026Updated 9 months ago
- Pulsar asynchronous synthesis framework☆13Jun 29, 2026Updated 4 months ago
- Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper☆30Oct 26, 2023Updated 3 years ago
- Datatypes as quotients of polynomial functors☆42May 4, 2020Updated 6 years ago
- Axio Web Framework for Racket☆20Jul 23, 2019Updated 7 years ago