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
  ☆32Updated 4 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆18Updated last year
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆33Updated 11 months ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆66Updated this week
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆16Updated 5 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆27Updated 9 months ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆13Updated last week
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 3 weeks ago
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 5 months ago
• stchang / mlish
  ☆22Updated 5 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆33Updated last week
• sorawee / fmt
  A code formatter for Racket
  ☆82Updated last month
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆56Updated 2 years ago
• 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
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 2 months ago
• aarroyoc / djota
  A Djot implementation in Prolog
  ☆24Updated last year
• 7c6f434c / lang-os
  A minimal system managed by policy daemons with configuration being arbitrary code
  ☆33Updated 3 months ago
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 3 years ago
• otherjoel / punct
  ⏺✍️ Write in Markdown+Racket, publish to multiple formats
  ☆48Updated 2 weeks ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated last year
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 3 weeks ago
• deech / shen-rust
  ☆35Updated 6 years ago
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆19Updated 7 months ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆21Updated 3 years ago
• vmchale / apple
  Apple array system
  ☆67Updated 2 weeks ago
• Metaxal / quickscript
  Easy scripting for DrRacket
  ☆18Updated last month
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 7 months ago