SLAYER ported to Racket
☆21Jun 15, 2019Updated 6 years ago
Alternatives and similar repositories for sracket
Users that are interested in sracket are comparing it to the libraries listed below
Sorting:
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆18Oct 20, 2016Updated 9 years ago
- A server, client and UI for remotely debugging Racket applications.☆29Jul 23, 2025Updated 7 months ago
- Decentralized Software Organisms☆18May 16, 2022Updated 3 years ago
- A collection of useful procedures divided into modules for Racket.☆12Oct 20, 2023Updated 2 years ago
- ☆15Jul 7, 2022Updated 3 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 5 years ago
- Implementation of local and remote loci for Racket☆12Jan 8, 2021Updated 5 years ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 5 years ago
- Computer Algebra System for Racket☆19Mar 11, 2023Updated 3 years ago
- Emacs style editor written in Racket☆62Jul 13, 2019Updated 6 years ago
- Collection of syntax/parse macros☆31Nov 1, 2022Updated 3 years ago
- ☆21May 9, 2017Updated 8 years ago
- Access to Google services from Common Lisp☆15Nov 18, 2017Updated 8 years ago
- a Heroku buildpack for deploying apps written in Racket☆27Apr 20, 2022Updated 3 years ago
- lux - a simple library for creating real-time graphical apps☆30Oct 4, 2021Updated 4 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- Siag Office consists of the word processor Pathetic Writer, the spreadsheet Siag and the animation program Egon Animator.☆25Oct 6, 2015Updated 10 years ago
- A DSL for runtime code generation in racket☆68May 31, 2022Updated 3 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Auto define Racket bindings to C by parsing header files.☆30Aug 10, 2022Updated 3 years ago
- Embedding of some of SQL into Racket☆34Mar 24, 2022Updated 3 years ago
- A simple paint program in Racket☆14Jan 5, 2022Updated 4 years ago
- The GRAphical Scheme Programming Environment☆50Dec 11, 2025Updated 3 months ago
- Easy scripting for DrRacket☆18Feb 21, 2026Updated 3 weeks ago
- Package for simplifying HTTP requests and writing integration tests of REST-ful APIs in Racket☆23Aug 2, 2022Updated 3 years ago
- Implementation of the Aardappel programming language☆31May 29, 2017Updated 8 years ago
- access (parts of) VIGRA's functionality from Racket☆15Jan 23, 2022Updated 4 years ago
- ☆11Apr 19, 2019Updated 6 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- Online playground from RacketScript☆19Mar 28, 2024Updated last year
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆24Jan 3, 2023Updated 3 years ago
- ☆23Jan 8, 2026Updated 2 months ago
- YouCompleteMe support script for Kakoune☆15Sep 27, 2018Updated 7 years ago
- My adventure into the marvelous world of Web Assembly☆74Aug 3, 2018Updated 7 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37Feb 20, 2026Updated last month
- The Racket pastebin.☆31Sep 24, 2021Updated 4 years ago
- ☆27Mar 4, 2023Updated 3 years ago
- Date and time library for Racket☆45Apr 7, 2024Updated last year