Skip to content
View anqur's full-sized avatar
302 followers · 276 following

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: QuickdrawAchievement: Mars 2020 ContributorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: QuickdrawAchievement: Mars 2020 ContributorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@owo-lang @aya-prover @cubical-trio-theory @anqurworks @rowscript @noharm @Infinity-Type-Cafe

Block or report anqur

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

💼 Compiler engineer in Suzhou Tongyuan.

I work on language runtime ⚙️ and semantics engineering 💬 for Julia programming language.

There are programming languages I craft for faith:

  • 🚣 RowScript: A JavaScript dialect that types and compiles.
  • ➗ TinyLean: Lean-like theorem prover in less than 1K lines of Python.
  • ♻️ Reussir: Functional programming meets performance.

💡 I have a blog for notes and novel ideas.

👀 Feel free to ping me if anything here intrigues you.

Pinned Loading

  1. rowscript/rowscript Public

    RowScript programming language, making a better browser world

    JavaScript 121 1

  2. SchrodingerZhu/reussir-lang Public

    The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.

    Rust 16

  3. TinyLean Public

    Tiny theorem prover with syntax like Lean 4 in <1K LOC

    Python 28 1

  4. lua-v5.1.5 Public

    Personal attempt to make Lua (v5.1.5) more readable for educational purposes

    C 3