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.

Network transport abstractions for MLambda actors

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

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

Core abstractions and interfaces for the MLambda actor system

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.

Reactive actor model implementation for .NET

Gossip protocol abstractions for MLambda actors

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.

Dependency injection registration for MLambda actors

TCP transport layer for MLambda actor communication

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

Gossip protocol for cluster membership, failure detection, and CRDT replication