Skip to content
View pro465's full-sized avatar
๐Ÿ˜ƒ
enjoying getting Rusty
๐Ÿ˜ƒ
enjoying getting Rusty

Block or report pro465

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
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 [email protected].

pro465's GitHub stats Top Langs

Pinned Loading

  1. nnoq nnoq Public

    not noq

    Rust 3 1

  2. nyaya nyaya Public

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

    Rust 1

  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