Skip to content
View antonping's full-sized avatar
74 followers · 66 following
  • Moscow State University
  • Moscow
  • 11:26 (UTC +03:00)

Achievements

Achievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Pull Shark

Block or report antonping

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
antonping/README.md

👋 Hi, I'm Anton Ping

🕊 (Better known as "老大鸽" in Chinese tech communities)

  • 🎓 Student at Moscow State University, Faculty of Computational Mathematics and Cybernetics
  • 💻 Interested in programming language theory, functional programming, and formal verification
  • 🔭 Currently building prune-lang — a constraint logic programming language
  • 🧙‍♂️ Founder of Postmodern-Magic-Group (后现代魔法小组) — a Chinese community for PLT enthusiasts

📄 My Resume

View my resume

Pinned Loading

  1. resume resume Public

    This is my resume.

    Typst

  2. prune-lang prune-lang Public

    Prune is a constraint logic programming language with branching heuristic.

    Rust 38 2

  3. norem-lang norem-lang Public

    A modern functional programming language with effect system.

    Rust 18

  4. norem-lang-draft norem-lang-draft Public

    A native-compiled functional programming language. The word "norem" stands for "not really monadic".

    Rust 10

  5. RuCalculus RuCalculus Public

    Forked from ProjectDimlight/RuCalculus

    入墨答Rumbda, the Chinese expression of lambda calculus

    Haskell

  6. CombVM-rust CombVM-rust Public

    A combinator-based virtual machine with a repl.(Written in rust)

    Rust 1