Pinned Loading

1. dedis/gd-pure dedis/gd-pure Public

   Grounded deduction atop Isabelle/Pure

   Isabelle

2. propositional-theorem-prover propositional-theorem-prover Public

   Automated theorem prover for propositional logic

   C++ 1

3. inline-pass inline-pass Public

   An LLVM pass for function inlining, created as a Compiler Construction course project.

   C++ 1

4. two-phase-solver two-phase-solver Public

   Implementation of Herberta Kociemba's two phase algorithm

   C++

5. MATF-Software-Verification/2024_Research_2024-clang-semantic-checks MATF-Software-Verification/2024_Research_2024-clang-semantic-checks Public

   C++

6. sntntn/FitPlusPlus sntntn/FitPlusPlus Public

   Scalable fitness app with microservices for chat, video training, payments, reservations, analytics, and gym management.

   C# 2