Skip to content
View mobypnkit's full-sized avatar
  • Essential AI
  • Joined Feb 13, 2026

Block or report mobypnkit

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
mobypnkit/README.md

CAIMEO

A student interested in math and computer science.

$$ \text{Life} = \int_\text{birth}^{\text{death}} \text{study} \ dt $$

  • 🌱 Learning Programming Language Theory and Type Theory
  • 🤔 Researching on Programming Languages Theory
  • 📝 Regularly write notes and blogs (The Rabbit Hole)
  • 🔭 Working on QuickCheck, Proof Assistant and Morpheus Compiler

Interests

  • Abstract Algebra
  • Arch Linux and NixOS
  • Category theory
  • Classic Music
  • Computer Science
  • Minecraft
  • Programming Language Theory
  • Quantum physics and Quantum computing
  • String Theory
  • Type Theory

Popular repositories Loading

  1. NFTable NFTable Public

    http://www.linux.com/news/software/linux-kernel/758552-nftables-steals-the-show-in-linux-313/

  2. JGuest JGuest Public

    Building JOS-on-JOS Hypervisor

  3. mobypnkit mobypnkit Public

  4. Alarm Alarm Public

    Forked from JuanitaWilson/Alarm

    🎓 [NWEN301] Pintos - Alarm Clock

    Java

  5. xianmin xianmin Public

    Forked from lenhyluo/xianmin

    Xianmin's personal web-site, generated using ox-hugo + Hugo

    C++

  6. firmware firmware Public

    Forked from 653673449/firmware

    Free FOC firmware for Lishui E-Bike-Controllers

    JavaScript