Skip to content
View qdelamea-aneo's full-sized avatar
1 follower · 0 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair Extraordinaire

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair Extraordinaire

Block or report qdelamea-aneo

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

Popular repositories Loading

  1. ArmoniK ArmoniK Public

    Forked from aneoconsulting/ArmoniK

    Main repository for ArmoniK, An Open-Source orchestrator based on Kubernetes managing the distribution of hybrid multi cloud computations

    Jupyter Notebook

  2. notion-biblio-cli notion-biblio-cli Public

    Command Line Interface to interact with a bibliography database hosted on Notion.

    TypeScript

  3. aoc2024 aoc2024 Public

    Adevent Of Code 2024 using C#.

    C#

  4. trace_validation_tools trace_validation_tools Public

    Forked from tracevalidation/trace_validation_tools

    Java

  5. tla-cli tla-cli Public

    A unified command-line tool for writing, checking, and analyzing TLA+ specifications, integrating essential TLA+ tools into a single API for streamlined system verification.

  6. CommunityModules CommunityModules Public

    Forked from tlaplus/CommunityModules

    TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

    TLA