FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Original HTTPS Page]

stemil01 (Stefan Milenkovic) · GitHub

Overview Repositories 16 Projects Packages Stars 2
6 followers · 5 following
  • Serbia

Achievements

Achievements

Organizations

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.

Add an optional note
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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 4 3

  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++ 3 1

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

    Implementation of Herberta Kociemba's two phase algorithm

    C++ 1

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

    C++ 3

  6. sntntn/FitPlusPlus sntntn/FitPlusPlus Public

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

    C# 2

Back | FazBrowse Home | New Git URL