MLambda 

Monadic parser combinator library for .NET with LINQ support. Compose character and token parsers using Map, Bind, Or, Many, SeparatedBy and more.

AST node hierarchy, IR, compilation pipeline and visitor infrastructure for building language processors on top of MLambda.Genesis.Parser.

Mathematical expression language for .NET: recursive-descent parser, operator-precedence printer, symbolic AST (Num, Sym, Add, Mul, Pow, Neg, FuncCall) and numeric evaluator.

Aleph surface language: grammar (EBNF/ASDL), lexer, parser, AST.

EBNF grammar parser and compiler. Translates ISO 14977 EBNF source into an executable dictionary of parser combinators, with lazy knot-tying for mutual recursion.

dotnet global tool (mlambda-gen) that combines an EBNF grammar and an ASDL schema to generate C# AST record types, token enums, and a parser skeleton.

Symbolic algebra library for .NET: differentiation, integration (multi-strategy with Risch core), polynomial expansion, equation solving, GCD, factoring and Taylor series.

Abstract Syntax Description Language (ASDL) parser and C# record emitter. Declare AST type hierarchies in a concise schema; generate typed record classes automatically.

Network transport abstractions for MLambda actors

CAS rule DSL compiler: write symbolic rewrite rules in a typed pattern-matching language and compile them to C# IRewriteSystem implementations with AC-matching support.

SQL SELECT language front-end built on MLambda.Genesis.Parser. Supports joins, subqueries, aggregates, schema analysis and query code generation.

Core abstractions and interfaces for the MLambda actor system

Reactive actor model implementation for .NET

Aleph Core IR: System-Fω internal representation with explicit thunks, dicts, and concurrency nodes.

LLVM JIT and AOT execution runtime for MLambda.Genesis. Language-neutral: accepts any Value tree produced by a mapper.

Gossip protocol abstractions for MLambda actors

LLVM IR language front-end for MLambda.Genesis. Full round-trip parser and emitter for a practical LLVM IR subset.

TCP transport layer for MLambda actor communication

Runtime support for generated lexers: DFA driver, extern contracts, position tracking.

Dependency injection registration for MLambda actors