GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — anqur - Overview
@anqur anqur Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@anqur
anqur
Follow
View anqur's full-sized avatar
🎯
Working on Julia's performance

Anqur anqur

🎯
Working on Julia's performance
Follow
314 followers · 198 following
  • @Suzhou-Tongyuan
  • Chengdu, China
  • 09:58 (UTC +08:00)
  • anqur.lu
  • @anqurlu

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
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
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 rowscript/rowscript Public

    RowScript programming language, making a better browser world

    Rust 127 1

  2. TinyLean TinyLean Public

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

    Python 71 2

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.