serard@dev00:~/cv

public class App : IHostedService { private readonly ILogger _log; private readonly IServiceProvider _sp; public async Task StartAsync(CancellationToken ct) { var result = await _sp.GetRequiredService<IPipeline>() .Map(ctx => ctx.Validate()) .Bind(ctx => ctx.Execute()) .Recover(err => Result.Fail(err)); _log.LogInformation("Pipeline: {Status}", result); } } [AggregateRoot("Order")] public partial class OrderAggregate { [Property] public string CustomerId { get; } [Property] public OrderStatus Status { get; } [Composition] public List<OrderLine> Lines { get; } [Invariant] public bool MustHaveLines() => Lines.Count > 0; [DomainEvent] public record OrderPlaced(string OrderId, DateTime At); } const render = async (md: string) => { const { html, meta } = await marked.parse(md); document.querySelector('#output').innerHTML = html; await processMermaid(document.querySelector('#output')); hljs.highlightAll(); }; <template> <nav id="sidebar" role="navigation"> <div v-for="section in toc" :key="section.id"> <a :href="section.path">{{ section.title }}</a> </div> </nav> </template> apiVersion: apps/v1 kind: Deployment metadata: name: api-gateway spec: replicas: 3 selector: matchLabels: app: gateway template: spec: containers: - name: api image: registry.local/api:latest ports: - containerPort: 8080 [MetaConcept("Entity")] public abstract class EntityConcept { [MetaProperty] public string Name { get; } [MetaReference] public AggregateConcept Root { get; } [MetaConstraint] public bool NameNotEmpty() => !string.IsNullOrEmpty(Name); } module.exports = { entry: './src/index.ts', output: { path: path.resolve(__dirname, 'dist') }, resolve: { extensions: ['.ts', '.js'] }, module: { rules: [{ test: /\.ts$/, use: 'ts-loader' }] } };

Projects

Anything-as-Code is the common thread: turn recurring concepts and constraints into typed, versioned models that tools can inspect, compose and verify. Requirements-as-Code applies it to software intent. Diem extends it to applications and their development environment, toward a reproducible HomeLab described and controlled from C#.

The projects below include existing tooling, experiments and integration work. The Requirements-as-Code workflow covers delivery from a new need and an experimental path from existing code and tests. The Diem presentation connects the application and infrastructure work to the Lab target. Useful abstractions start with a concrete need; verification remains specific to the checks actually run.

Active Projects

Project	Description
C# & .NET Development with Codex	AI-assisted development around reusable C# contracts, Requirements-as-Code and Diem: AI proposes, tooling checks, people decide.
FrenchExDev Ecosystem	A C# and PowerShell ecosystem under intensive development, with Diem bringing libraries, binary wrappers and bundles toward a personal software factory Lab.
Diem CMF .NET Lab	Anything-as-Code applied to applications and their environment, using C# to describe and compose the future integrated Lab.
C# Professional Home Lab	Existing typed tools and infrastructure components, working toward a reproducible development platform described and controlled from C#.
Home Lab — Roadmap v2	Integration steps from the existing building blocks to a Lab, then deployment, observability and a broader platform.
Métacratie — Compilateur croisé Law × Commons × Citizen	A Roslyn cross-compiler that generates specific legal frameworks indexed by `META(Espace × Temps × Auteur)`, verifies cross-DSL coherence at compile-time, and equips citizens, jurists, and legislators with the full software engineering arsenal applied to law. 18-part series.
Requirements-as-Code	Typed intent-to-verification tooling in TypeScript and C#, with experiments in recovering candidate requirements from existing code and tests for human review.

⬇ Download

`[` or `Alt+S`	Focus sidebar navigation
`]` or `Alt+C`	Focus main content
`↑` `↓`	Navigate between sidebar items
`Enter`	Open page / toggle section
`Space`	Toggle section expand/collapse
`Escape`	Close overlay / sidebar

`Ctrl+K`	Open search
`?`	Show this help

`Ctrl+=` or `Ctrl+↑`	Increase font size
`Ctrl+−` or `Ctrl+↓`	Decrease font size
`f`	Open console font selector

`Ctrl+⇧+=` or `Ctrl+⇧+↑`	Browser zoom in
`Ctrl+⇧+−` or `Ctrl+⇧+↓`	Browser zoom out
`Ctrl+⇧+0`	Reset browser zoom

`Tab`	Focus a diagram or image
`Enter`	Open full size overlay
`+` `−`	Zoom in / out (in overlay)
`Escape`	Close overlay, return focus

Projects📋

Active Projects📋

Projects

Active Projects