geezee / smatchLinks
regexes for trees; grep for s-exprs
☆18Updated last year
Alternatives and similar repositories for smatch
Users that are interested in smatch are comparing it to the libraries listed below
Sorting:
- Fast, CommonMark-compliant Markdown parser written in Racket☆33Updated 10 months ago
- Prototypes: Object Orientation, Functionally☆46Updated 2 weeks ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Scheme implementation (now maybe working properly)☆18Updated last year
- A grammar of data manipulation for Racket.☆20Updated this week
- Racket parser for tree-sitter☆32Updated 3 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆26Updated 8 months ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- My personal template repository for Racket packages☆16Updated 4 years ago
- A formalization of System Fω in Agda☆19Updated 6 months ago
- A template for you to implement Hazelnut yourself☆22Updated last month
- A Racket refactoring engine☆66Updated this week
- ☆35Updated 6 years ago
- Adds syntax to racket languages☆11Updated 3 years ago
- My Agda blog/lab/playground☆13Updated 3 weeks ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 3 weeks ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆19Updated 6 years ago
- A 2D RPG implemented in the Rhombus Racket dialect☆56Updated 2 years ago
- The Kraken Programming Language☆48Updated last year
- ☆19Updated 2 years ago
- ☆22Updated 5 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- algebraic typechecking and elaboration of type systems☆13Updated 7 months ago
- A Djot implementation in Prolog☆24Updated last year
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated last week
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Simple scheme bytecode VM☆29Updated 3 years ago
- Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, an…☆60Updated 2 years ago
- Miscellaneous Racket utilities lacking a better home☆13Updated 9 months ago