racket/swindle external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

racket/swindle

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/racket/swindle)

Close

racket / swindleView on GitHubMore

• External links
• Readme badge

☆11Updated this week

Alternatives and similar repositories for swindle

Users that are interested in swindle are comparing it to the libraries listed below

• ifigueroap / racket-quickcheck

  View on GitHub
  Quickcheck Clone implemented in Racket
  ☆31Jul 30, 2024Updated last year
• racket / draw

  View on GitHub
  ☆19Updated this week
• otherjoel / beeswax

  View on GitHub
  🐝🧇 Prototype template #lang for Pollen
  ☆11Nov 24, 2025Updated 3 months ago
• tinybasic-rkt / tinybasic-rkt

  View on GitHub
  TinyBasic implementation in Racket (WIP)
  ☆13Apr 25, 2025Updated 10 months ago
• bennn / trivial

  View on GitHub
  Stronger types for a few Typed Racket operators
  ☆11Jan 25, 2024Updated 2 years ago
• wilbowma / experimenting-with-redex

  View on GitHub
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Oct 21, 2024Updated last year
• Bogdanp / racket-kafka

  View on GitHub
  A Kafka client for Racket.
  ☆18Aug 4, 2025Updated 6 months ago
• jonsterling / agda-effectful-forcing

  View on GitHub
  Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…
  ☆13Sep 22, 2020Updated 5 years ago
• 97jaz / hamt

  View on GitHub
  Hash Array Mapped Tries for Racket
  ☆21Jan 30, 2017Updated 9 years ago
• JimmyZJX / TypingFormalization

  View on GitHub
  ☆15Jun 26, 2019Updated 6 years ago
• racket / parser-tools

  View on GitHub
  ☆15Updated this week
• racket / algol60

  View on GitHub
  ☆13Updated this week
• racket / slideshow

  View on GitHub
  ☆37Updated this week
• jessealama / argo

  View on GitHub
  JSON Schema Adventures
  ☆17Mar 13, 2023Updated 2 years ago
• 4e6 / nanoid-hs

  View on GitHub
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Jan 14, 2018Updated 8 years ago
• pmatos / racket-loci

  View on GitHub
  Implementation of local and remote loci for Racket
  ☆12Jan 8, 2021Updated 5 years ago
• david-christiansen / dan-scheme

  View on GitHub
  A very little language
  ☆16Jul 1, 2023Updated 2 years ago
• carl-eastlund / dracula

  View on GitHub
  ☆10Jan 24, 2016Updated 10 years ago
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated 2 months ago
• racket / plot

  View on GitHub
  ☆45Updated this week
• cstrotm / f68kans

  View on GitHub
  Forth system for M68K machines, origin: http://hardcode.de/us/index.html
  ☆21Jul 22, 2019Updated 6 years ago
• racket / 2d

  View on GitHub
  2d syntax
  ☆20Updated this week
• racket / eopl

  View on GitHub
  ☆39Updated this week
• herbie-fp / rival

  View on GitHub
  Interval arithmetic for real computation
  ☆25Feb 7, 2026Updated 2 weeks ago
• bobatkey / system-f-parametricity-model

  View on GitHub
  A Model of Relationally Parametric System F in Coq
  ☆22May 27, 2015Updated 10 years ago
• jeapostrophe / mode-lambda

  View on GitHub
  mode-lambda - sprite-based 2D graphics engine
  ☆42Oct 4, 2021Updated 4 years ago
• MarcKaufmann / congame

  View on GitHub
  The best experimental economics software built in Racket
  ☆29Feb 13, 2026Updated 2 weeks ago
• aptmcl / rosetta

  View on GitHub
  The Generative Design Tool
  ☆21Jun 24, 2022Updated 3 years ago
• jsiek / denotational_semantics

  View on GitHub
  Denotational semantics based on graph and filter models
  ☆23Dec 16, 2024Updated last year
• verif-scop / PolCert

  View on GitHub
  A verified polyhedral scheduling validator in Coq.
  ☆23Oct 2, 2024Updated last year
• kritzcreek / infer_workshop

  View on GitHub
  An interactive workshop on implementing AlgorithmW in Kotlin
  ☆21Jun 7, 2020Updated 5 years ago
• samth / disassemble

  View on GitHub
  Disassembler for Racket
  ☆79Jun 20, 2025Updated 8 months ago
• hubris-lang / hubris

  View on GitHub
  A dependently typed programming language, and verification tool
  ☆27Apr 3, 2016Updated 9 years ago
• iwilare / church-rosser

  View on GitHub
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆29Sep 21, 2022Updated 3 years ago
• lexi-lambda / racket-collections

  View on GitHub
  Generic collections API for Racket
  ☆52Mar 29, 2022Updated 3 years ago
• bennn / forth

  View on GitHub
  Forth emulator, as a Racket #lang
  ☆21Feb 20, 2023Updated 3 years ago
• yjqww6 / racket-x64asm

  View on GitHub
  a simple x64 assembler written in typed/racket
  ☆18Apr 6, 2021Updated 4 years ago
• RedPRL / yuujinchou

  View on GitHub
  👹 A library for hierarchical names and lexical scoping
  ☆26Nov 21, 2025Updated 3 months ago
• racket / htdp

  View on GitHub
  ☆112Updated this week