Probabilistic language based on pattern matching and constraint propagation, 153 examples

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

A lightweight open-source C compiler for research and education.

LR(1) parser generator for Rust

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Syntactic analysis toolkit, language-agnostic parser generator.

The Elegant Parser

A collection of resources for learning type theory and type theory adjacent fields.