katlangorg

Popular repositories Loading

1. katlangnet katlangnet Public

   .NET library for parsing and evaluating KatLang — a declarative language for composable calculation workflows, formally specified in Lean 4.

   C# 3 2

2. katlanglib katlanglib Public

   Reusable public libraries for KatLang — concise algorithms for calculations.

3. skills skills Public

   Skills for using KatLang with AI agents, from general-purpose calculations to domain-specific problem solving.

   Shell