Barry Jay

@Barry-Jay

Open GitHub

🇦🇺 Sydney, Australia

Profile age: over 9 years

Updated 11 days ago

51 followers • 0 following

Profile Overview

Global Australia

Global Rank

Advanced 5

Persona

Influencer

#274,877

N/A

#261,858

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

bondi

updated over 6 years ago • age almost 9 years

OCaml100.0%

Intensional-computation

updated about 6 years ago • age almost 8 years

Coq90.9%

Makefile9.1%

updated over 8 years ago • age almost 9 years

Coq97.3%

C2.7%

Tree-calculus

updated over 6 years ago • age over 6 years

Coq94.1%

Makefile5.9%

lambdaSF

updated almost 8 years ago • age over 9 years

Coq98.6%

C1.4%

Latest Updates

28 Aug 2025
Followers Count:50 51
06 Jan 2025
First seen

Subscribe to Barry-Jay's GitHub rank updates in your messenger

WhatsApp Telegram