Skip to content
View pro465's full-sized avatar
😃
enjoying getting Rusty
😃
enjoying getting Rusty
37 followers · 38 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2

Block or report pro465

Report abuse

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

Report abuse
pro465/README.md
  • 👋 Hi, I’m @pro465
  • 👀 I’m interested in programming, maths, logic, philosophy, and Rust.
  • 🌱 I’m currently learning anything I find interesting.
  • 📫 How to reach me: you can email me at namitapro0987@gmail.com.

pro465's GitHub stats Top Langs

Pinned Loading

  1. nnoq nnoq Public

    not noq

    Rust 3 2

  2. nyaya nyaya Public

    proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.

    Rust 3

  3. rhokell rhokell Public

    rho calculus + haskell thrown into the mixer

    Rust 3 2

  4. esolangs esolangs Public

    esolang implementations in rust

    Rust 4 1

  5. btcc btcc Public

    a Boolfuck To Ctfuck Compiler

    Brainfuck