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.

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

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

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

Network transport abstractions for MLambda actors

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.

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.

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

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

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.

TCP transport layer for MLambda actor communication

Aleph runtime: generational GC, STM, CSP green-thread scheduler, Logic backtracking engine.