AN

Anqur

@anqur

I make programming languages.

Chengdu, China

Website

@anqurlu

Joined November 2014

311 Followers

279 Following

AI Insights & Achievements

54/ 100

Consistency

23 day streak.

Veteran

Coding for 12 years.

Workhorse

1117 contributions this year.

Profile README

💼 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.

Organizations

OW AY CU AN RO NO IN

Public Repos

157

Total Stars

158

Total Forks

7

Public Gists

9

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: January 27th, 2026 • 13 contributions

Most active week: Jan 26–Feb 1 • 46 contributions

Most active month: May 2025 • 129 contributions

Pushed to main at anqur/cront

February 1st, 2026 12:10 PM

Starred assert-rs/snapbox

February 1st, 2026 10:54 AM

Starred anqur/cront

February 1st, 2026 6:04 AM

Pushed to main at anqur/cront

February 1st, 2026 6:02 AM

Pushed to main at anqur/cront

January 31st, 2026 1:44 AM

Pushed to main at anqur/cront

January 31st, 2026 1:03 AM

Pushed to main at anqur/cront

January 30th, 2026 8:24 AM

Pushed to main at anqur/lua-v5.1.5

January 28th, 2026 7:07 AM

Pushed to main at anqur/lua-v5.1.5

January 28th, 2026 5:41 AM

Pushed to main at anqur/lua-v5.1.5

January 27th, 2026 8:54 AM

GitHub Analytics

Anqur

Consistency

Veteran

Workhorse