Popular repositories

1. formula formula Public

   Forked from microsoft/formula

   FORMULA 2.0: Formal Specifications for Verification and Synthesis

   C# 9 3

2. formula-dotnet formula-dotnet Public

   C# 8 4

3. PFlight PFlight Public

   State machine of drone using MAVSDK and P programming language.

   OpenEdge ABL 1

4. FormulaSelfRepairLLM FormulaSelfRepairLLM Public

   Python 1 3

5. vscode-formula-dotnet vscode-formula-dotnet Public

   Visual studio code extension for the Formula Dotnet language.

   TypeScript 1

6. P P Public

   Forked from p-org/P

   The P programming language.

   C# 1