Pinned Loading

1. CoursIA CoursIA Public

   Dépôt contenant les ressources et TPs d'un cours en IA en Python, C# et en Lean4

   Jupyter Notebook 17 159

2. roo-extensions roo-extensions Public

   PowerShell 2 1

3. jsboige-mcp-servers jsboige-mcp-servers Public

   TypeScript 1

4. MyIntelligenceAgency/semantic-fleet MyIntelligenceAgency/semantic-fleet Public

   Semantic-Fleet serves as a specialized extension hub for the Semantic-Kernel ecosystem. It houses a diverse array of connectors designed to interface with lightweight language models (LLMs).

   C# 30 2

5. ArgumentumGames/Argumentum ArgumentumGames/Argumentum Public

   Cards game about Fallacies

   HTML 7 5

6. MyIntelligenceAgency/Z3.Linq MyIntelligenceAgency/Z3.Linq Public

   Forked from endjin/Z3.Linq

   LINQ bindings for the Z3 theorem prover from Microsoft Research.

   C#