MLambda 

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

Network transport abstractions for MLambda actors

Core abstractions and interfaces for the MLambda actor system

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

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

Aleph surface language: lexer, parser, renamer.

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

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

Reactive actor model implementation for .NET

Gossip protocol abstractions for MLambda actors

TCP transport layer for MLambda actor communication

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.

Dependency injection registration for MLambda actors

Gossip protocol for cluster membership and failure detection

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

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

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.

CRDT data structures with gossip-based replication

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