Alternatives and similar repositories for smatch:

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

• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆42Updated 4 months ago
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 2 months ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 3 months ago
• 6cdh / tree-sitter-racket
  Racket parser for tree-sitter
  ☆31Updated 4 months ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆25Updated last month
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• rmculpepper / sexp-rewrite
  emacs package for pattern-based rewriting of sexp-structured code
  ☆37Updated 3 years ago
• PaulRivier / kiwi
  Kiwi content management engine
  ☆13Updated 5 months ago
• xieyuheng / tangle-rs
  a collection of tools to do tangle in rust
  ☆25Updated 5 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆61Updated this week
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆32Updated last year
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆18Updated last year
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 5 months ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 2 months ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆19Updated 7 months ago
• iwahbe / ion-mode
  Emacs major mode for scripting with the ion-shell
  ☆10Updated 4 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated 11 months ago
• stchang / mlish
  ☆21Updated 4 years ago
• hraban / cl-nix-lite
  Common Lisp module for Nix, without Quicklisp
  ☆33Updated 2 weeks ago
• kchanqvq / lwcells
  Light Weight Cells
  ☆18Updated 3 months ago
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆15Updated 4 years ago
• 7c6f434c / lang-os
  A minimal system managed by policy daemons with configuration being arbitrary code
  ☆32Updated this week
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆18Updated 2 years ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• tre-flip / atp
  Auto-thing-at-point for emacs.
  ☆14Updated 2 years ago
• Limvot / kraken
  The Kraken Programming Language
  ☆47Updated 11 months ago
• justinbarclay / parinfer-rust-emacs
  An emacs centric fork of parinfer-rust
  ☆9Updated 4 months ago
• dzaima / BQN386
  ☆12Updated 8 months ago
• playXE / waffle-scheme
  Simple scheme bytecode VM
  ☆29Updated 2 years ago