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.

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.

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.

Network transport abstractions for MLambda actors

Core abstractions and interfaces for the MLambda actor system

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.

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

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

Aleph compiler pipeline: kind checker, HM type checker, desugarer, optimizer.

Reactive actor model implementation for .NET

Gossip protocol abstractions for MLambda actors

Aleph code generation: Core IR → LLVM IR via MLambda.Genesis.Mapper.