Rankings
Badges
/
mars0i
Rankings
Badges
Overview
Ranks
Repositories
Languages
Marshall Abrams
@mars0i
Refresh
Open GitHub
null
University of Alabama at Birmingham, Department of Philosophy
Profile age: over 13 years
Updated 12 days ago
18 followers • 6 following
Contacts
https://marshallalmostsurely.com
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 3
Persona
Contributor
#369,475
#539,740
#765,492
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
masonclj
13
1
updated over 2 years ago • age over 6 years
Clojure
98.2%
HTML
1.8%
majure
8
0
updated almost 7 years ago • age over 10 years
Clojure
91.0%
Java
8.9%
HTML
0.2%
pasta
8
1
updated over 4 years ago • age almost 9 years
Clojure
80.0%
R
11.2%
HTML
8.8%
netlogo-clojure
6
0
updated over 10 years ago • age over 10 years
NetLogo
64.8%
Java
27.4%
Makefile
7.8%
bali
6
1
updated almost 7 years ago • age about 11 years
NetLogo
97.1%
Shell
1.9%
R
1.0%
View all 8 repositories
Last Contributions
2025
tableplot
1 PR
+67
-19
Clojure
27
2
2024
agda-stdlib
1 PR
+19
-0
Agda
625
257
16
lean.nvim
1 PR
+2
-0
Lua
402
35
4
ProofWidgets4
1 PR
+11
-1
Lean
155
40
107
2023
Idris2
5 PRs
+16
-6
Idris
2,744
394
5
View all contributions
Latest Updates
24 Jul 2025
Followers Count:
19
18
05 Jan 2025
First seen
Subscribe to mars0i's GitHub rank updates in your messenger
WhatsApp
Telegram
