Rankings
Badges
/
jmanuel1
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jason Manuel
@jmanuel1
Refresh
Open GitHub
🇺🇸 United States
Imagine Learning
Profile age: over 11 years
Updated 11 days ago
44 followers • 284 following
Contacts
jama.indo@hotmail.com
https://jason-manuel.com
Repositories
concat
6
0
1
updated 2 months ago • age over 9 years
Python
98.1%
TypeScript
1.9%
todoer
5
0
2
updated over 1 year ago • age about 6 years
JavaScript
100.0%
idris-stuff
1
0
updated 11 months ago • age over 3 years
Idris
100.0%
CourseEasy
0
0
updated almost 5 years ago • age almost 5 years
JavaScript
71.2%
Python
18.4%
HTML
6.7%
CSS
3.7%
koka
0
0
updated over 2 years ago • age over 2 years
Haskell
71.0%
C
20.7%
JavaScript
4.0%
Shell
2.8%
C#
1.5%
Contributions
2025
Idris2
2 PRs
+34
-1
Idris
2,758
395
5
2024
atom-language-idris
2 PRs
+59
-14
TypeScript
102
23
28
idris-spring-boot-example
1 PR
+1
-1
Idris
7
2
2022
atom-language-idris
2 PRs
+3
-3
TypeScript
102
23
28
linter-prolog
1 PR
+44
-21
JavaScript
4
2
2020
summer-2021-internships
1 PR
+1
-0
73
5
linter-prolog
1 PR
+1
-0
JavaScript
4
2
2019
OnYourTerms
1 PR
+55
-1
Python
0
1
2014
PleaseJS
1 PR
+2
-2
JavaScript
2,277
156
7
