Pinned Loading

1. Jumbee.Console Jumbee.Console Public

   A .NET library for advanced TUIs that focuses on performance and usability.

   C# 54 1

2. Anchor Anchor Public

   An agentic formal verification framework for AWS Dogwood temporal policies using TLA+ and Strands SDK

   TLA

3. Camel Camel Public

   A 'code-mode' MCP server that allows LLMs to safely generate and execute JavaScript code that performs forensic analysis and employs traditional machine learning algorithms using SIFT Workstation f…

   C# 42 5

4. Polson Polson Public

   C#

5. GambitSharp GambitSharp Public

   .NET bindings and API for the Gambit game theory library

   C#

6. Sylvia Sylvia Public

   F# 1