formal-grammar

Practical Program Analysis (academic course) presented in Innopolis University in 2023

Code for ICSE 2024 paper "Fast Deterministic Black-box Context-free Grammar Inference"

LaTeX package for printing EBNF in plain text format

LaTeX style for Formal Grammars and operations on them

A general interface and toolkit for working with hierarchical grammar models

BNF parsing, formal grammar conversion, and string generation utilities in Python

Implementation of Lindenmayer System (L-system), which is a parallel rewriting system and a type of formal grammar.

Simple Neovim syntax highlighting for BNF (Backus-Naur Form) grammar files

A class for creating and implementing L-system grammars in python

tokeniser for math in c#

Fractal generation using Lyndenmayer systems

Versioned EBNF grammars and human-readable specifications for PHP language syntax.

Lingua Sona: The Language of Wisdom

Ground setting for theoretical computer science and computational complexity.

Kul — a kinship description language. Small DSL for modeling families, marriages, births, and adoptions, with first-class chronology and an end-to-end Rust toolchain (parser, validator, LSP, WASM).

A C-like programming language compiler built in C++ with LLVM, supporting variables, expressions, control flow, and print statements.

Lisp parser on Python

Язык С++ ВМК 2 курс 1 поток

Trabalho 1 de Linguagens Formais e Compiladores (INE5421)

This is a very small expression language implementation of a treewalk interpreter in C built for learning purposes.