Skip to content
View stemil01's full-sized avatar
5 followers · 3 following
  • Serbia

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Organizations

@dedis @oracle

Block or report stemil01

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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# 1