Alternatives and similar repositories for smatch:

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

• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆16Updated 4 years ago
• 6cdh / tree-sitter-racket
  Racket parser for tree-sitter
  ☆31Updated 7 months ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆25Updated 3 months ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 5 months ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 6 months ago
• hraban / cl-nix-lite
  Common Lisp module for Nix, without Quicklisp
  ☆35Updated 3 months ago
• mflatt / shplait
  Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
  ☆17Updated 2 weeks ago
• 7c6f434c / lang-os
  A minimal system managed by policy daemons with configuration being arbitrary code
  ☆33Updated this week
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• stchang / mlish
  ☆22Updated 5 years ago
• rmculpepper / sexp-rewrite
  emacs package for pattern-based rewriting of sexp-structured code
  ☆37Updated 3 years ago
• justinbarclay / parinfer-rust-emacs
  An emacs centric fork of parinfer-rust
  ☆11Updated 7 months ago
• aarroyoc / djota
  A Djot implementation in Prolog
  ☆24Updated last year
• 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
• hellerve / carp-vim
  A Vim plugin for Carp
  ☆17Updated 3 years ago
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 2 years ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆60Updated 4 years ago
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated 2 years ago
• skyizwhite / hsx
  Simple and powerful HTML generation library
  ☆26Updated 2 weeks ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 8 months ago
• lambdadog / winter
  [WIP] A wayland compositor configured with scheme
  ☆14Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated 3 weeks ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆19Updated 3 years ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆32Updated 11 months ago
• samdphillips / raco-pkg-env
  virtualenv like tool for Racket
  ☆31Updated 2 years ago
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 3 weeks ago
• ravi-delia / uclp
  An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp
  ☆25Updated 7 months ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago