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 week
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 7 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated last week
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 5 months ago
• bbatsov / neocaml
  A modern, TreeSitter-powered, Emacs major mode for OCaml
  ☆20Updated last month
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆16Updated 4 years ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 3 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆20Updated 10 months ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 6 months ago
• stchang / mlish
  ☆22Updated 5 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated last month
• fosskers / parcom
  Simple parser combinators for Common Lisp.
  ☆49Updated this week
• zyrolasting / denxi
  Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, an…
  ☆60Updated 2 years ago
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated last month
• kchanqvq / lwcells
  Light Weight Cells
  ☆18Updated 7 months ago
• dev-null321 / RacoGrad
  Deep learning library
  ☆41Updated 2 months ago
• atlas-engineer / prompter
  Live-narrowing, fuzzy-matching, extensible prompt framework.
  ☆14Updated 2 months ago
• rmculpepper / sexp-rewrite
  emacs package for pattern-based rewriting of sexp-structured code
  ☆37Updated 3 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆25Updated 4 months ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 3 years ago
• sebastiancarlos / cl-yasboi
  Yet Another Starter Boilerplate for Common Lisp 🔥
  ☆29Updated 2 weeks ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 9 months ago
• fujita-y / ypsilon
  R7RS/R6RS Scheme Implementation
  ☆61Updated last year
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated last week
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆18Updated last year