Alternatives and similar repositories for smatch

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

• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆19Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆49Updated this week
• jackfirth / resyntax
  A Racket refactoring engine
  ☆65Updated this week
• 6cdh / tree-sitter-racket
  Racket parser for tree-sitter
  ☆35Updated 3 weeks ago
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 4 months ago
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 3 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆35Updated last year
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆16Updated 5 years ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated 2 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆57Updated 2 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated last year
• sorawee / fmt
  A code formatter for Racket
  ☆83Updated 5 months ago
• deech / shen-rust
  ☆35Updated 6 years ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated 2 years ago
• racket / honu
  ☆19Updated 2 years ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆13Updated 3 months ago
• ncfavier / agda-stuff
  My Agda blog/lab/playground
  ☆12Updated 2 weeks ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆33Updated last year
• samdphillips / raco-pkg-env
  virtualenv like tool for Racket
  ☆31Updated 3 years ago
• Bogdanp / racket-review
  A linter for Racket.
  ☆46Updated 3 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆38Updated 2 months ago
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆19Updated 6 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆45Updated 2 years ago
• Metaxal / quickscript
  Easy scripting for DrRacket
  ☆18Updated last month
• panicz / sracket
  SLAYER ported to Racket
  ☆21Updated 6 years ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 5 years ago
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 9 months ago
• rmculpepper / sexp-rewrite
  emacs package for pattern-based rewriting of sexp-structured code
  ☆40Updated 4 years ago