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 Racket Meta-Program Generator☆17Mar 26, 2020Updated 5 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- ☆15Jul 7, 2022Updated 3 years 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
- A server, client and UI for remotely debugging Racket applications.☆29Jul 23, 2025Updated 7 months ago
- Computer Algebra System for Racket☆19Mar 11, 2023Updated 2 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- A simple paint program in Racket☆14Jan 5, 2022Updated 4 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
- Collection of syntax/parse macros☆31Nov 1, 2022Updated 3 years ago
- A DSL for runtime code generation in racket☆68May 31, 2022Updated 3 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Sep 7, 2025Updated 5 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37Feb 20, 2026Updated last week
- Online playground from RacketScript☆19Mar 28, 2024Updated last year
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 6 years ago
- Auto define Racket bindings to C by parsing header files.☆30Aug 10, 2022Updated 3 years ago
- lux - a simple library for creating real-time graphical apps☆30Oct 4, 2021Updated 4 years ago
- a Heroku buildpack for deploying apps written in Racket☆27Apr 20, 2022Updated 3 years ago
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- Implementation of the Aardappel programming language☆31May 29, 2017Updated 8 years ago
- Emacs style editor written in Racket☆62Jul 13, 2019Updated 6 years ago
- ☆19May 16, 2022Updated 3 years ago
- Easy scripting for DrRacket☆18Updated this week
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 3 months ago
- ☆23Updated this week
- ☆21May 9, 2017Updated 8 years ago
- Embedding of some of SQL into Racket☆34Mar 24, 2022Updated 3 years ago
- ☆23Jan 8, 2026Updated last month
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 7 months ago
- The GRAphical Scheme Programming Environment☆50Dec 11, 2025Updated 2 months ago