๐Ÿ” Z3 Parsing

Formal Grammar Verification, Parser Correctness, Syntax Validation, Language Safety

LR(1) parse-tables generator
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ“Concrete Syntax
Semantic-Aware Parsing for Security Logs
arxiv.orgยท1d
๐Ÿ“Log Parsing
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท2d
๐Ÿ“Concrete Syntax
BNFGen: A random text generator based on context-free grammars
baturin.orgยท5hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Programming Entry Level: how to interpreter
dev.toยท23hยท
Discuss: DEV
๐Ÿ”—Lisp
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท22h
๐ŸงฎProlog Parsing
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.comยท6h
๐Ÿ’ปLocal LLMs
End-to-End Spoken Grammatical Error Correction
arxiv.orgยท1d
๐Ÿค–Grammar Induction
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750885516953300๏ผ‰
dev.toยท1hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Automattic/harper: Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
github.comยท1d
๐Ÿ“Concrete Syntax
Building a Language Server
bullno1.comยท2dยท
Discuss: Hacker News, r/programming
๐Ÿ—ฃ๏ธDomain-Specific Languages
My AI Workflow for Understanding Any Codebase
steipete.meยท12h
โšกProof Automation
PEGTL -- Parsing Expression Grammar Template Library
github.comยท23hยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท18h
๐Ÿ”Concolic Testing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท16h
๐Ÿ“Concrete Syntax
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.comยท8hยท
Discuss: Hacker News
๐Ÿ“‹DFDL
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท12hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
Adding linear-time lookbehinds to RE2
systemf.epfl.chยท4dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”RegEx Engines
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.toยท9hยท
Discuss: DEV
๐Ÿค–Lisp Machines