🚀 A powerful, modular, and extensible Markdown to DOCX converter. MD2DOCX is a robust library for converting Markdown Abstract Syntax Trees (MDAST) into DOCX documents. Built on the powerful ...

WebAssembly visualizer for Rust regular expressions. Parses Rust regular expressions using regex-syntax and converts resulting Abstract Syntax Trees (syntactic) and High-level Intermediate ...

Abstract: Code plagiarism poses a significant challenge in programming communities, necessitating effective detection mechanisms. This paper introduces a novel system that employs Abstract Syntax ...

Abstract: We develop a unified categorical theory of substructural abstract syntax with variable binding and single-variable (capture-avoiding) substitution. This is done for the gamut of context ...

I built a coding tutor that won't let me cheat my way through it. Here's the prompt.