Alternatives and similar repositories for smatch

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

• 6cdh / tree-sitter-racket
  Racket parser for tree-sitter
  ☆31Updated last month
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated last week
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆25Updated 6 months ago
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 8 months ago
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 3 months ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆34Updated last year
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 9 months ago
• sorawee / fmt
  A code formatter for Racket
  ☆81Updated 4 months ago
• stchang / mlish
  ☆22Updated 5 years ago
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆16Updated 4 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated this week
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 2 years ago
• Limvot / kraken
  The Kraken Programming Language
  ☆47Updated last year
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆30Updated last month
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 3 months ago
• mflatt / shplait
  Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
  ☆17Updated last week
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆18Updated last year
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 2 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 2 weeks ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated 2 years ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆32Updated last year
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 8 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated last month
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆19Updated 6 years ago
• playXE / waffle-scheme
  Simple scheme bytecode VM
  ☆29Updated 3 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year