Skip to content
View Ddystopia's full-sized avatar
🙃
Pino Polaris
🙃
Pino Polaris
28 followers · 18 following
  • T-Industry, STU FIIT
  • Bratislava
  • 21:13 (UTC +02:00)

Sponsoring

@neovim
@bjorn3

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Public Sponsor

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Public Sponsor

Organizations

@AVO-cado-team

Block or report Ddystopia

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
Ddystopia/README.md

Hi there 👋

  • 🔭 I am currently a student at STU.
  • 👩‍🏭 Employed at tind.sk as a Rust dev.
  • 🌱 At present I am studying math, Coq, Rust, Compilers and a bunch of other interesting stuff.
  • 💬 Ask me about my day .
  • 📫 How to reach me:
    • Discord: ddystopia
    • Telegram (preferred): @Ddystopia_0
  • ⚡ Fun fact: turn around, I'm behind you.
  • 🐜 Also fun fact: I love my ants :3.

Codeward

Pinned Loading

  1. dotfiles dotfiles Public

    My dotfiles

    Shell 6

  2. ra ra Public

    Rust PACs and Safe FSP wrappers for the Renesas RA series devices.

    Rust

  3. ra6m3-rtic ra6m3-rtic Public

    A proof of concept for using the RTIC framework with the RA6M3 microcontroller.

    C

  4. extend_mut extend_mut Public

    Rust crate to extend lifetime of an exclusive reference.

    Rust 2

  5. rust-lang/rfcs rust-lang/rfcs Public

    RFCs for changes to Rust

    Markdown 6.2k 1.6k

  6. t-industry/micrortu_sdk t-industry/micrortu_sdk Public

    SDK for MicroRTU

    Rust