Rankings
Badges
/
lamg
Rankings
Badges
Overview
Ranks
Repositories
Languages
Luis Ángel Méndez Gort
@lamg
Refresh
Open GitHub
🇩🇪 Germany
Profile age: almost 13 years
Updated 13 days ago
53 followers • 109 following
Contacts
lamg.github.io
https://substack.com/@lamg
@lamg_dev
https://www.threads.net/@lamg.dev
@lamg__@mastodon.social
Repositories
wybe
39
2
updated 2 months ago • age 7 months
F#
98.0%
Rust
2.0%
structured_programming_in_fsharp
18
1
updated about 1 year ago • age over 1 year
migrate
12
0
1
updated 4 months ago • age almost 2 years
F#
65.3%
ANTLR
34.7%
r0b0t
9
1
updated 10 months ago • age over 1 year
F#
100.0%
pmproxy
8
0
updated over 2 years ago • age about 8 years
Go
100.0%
exercises
8
0
updated 15 days ago • age about 2 years
Rocq Prover
39.9%
F#
38.5%
Makefile
9.6%
Agda
7.1%
Go
4.8%
proxy
5
2
1
updated over 2 years ago • age over 7 years
Go
100.0%
adsync
0
0
updated about 8 years ago • age over 8 years
Go
100.0%
Contributions
2025
awesome-coq
1 PR
+1
-0
361
25
2024
go-algorand
1 PR
+5
-1
Go
1,421
518
167
gir.core
1 PR
+11
-4
C#
423
41
16
Oxpecker
1 PR
+1
-1
F#
372
23
6
hub
1 PR
+137
-0
64
173
1
Fabulous.AST
1 PR
+1
-0
F#
59
7
37
Threads.Lib
1 PR
+327
-276
F#
4
1
2
2023
Graphoscope
1 PR
+66
-0
F#
15
6
fitch
1 PR
+1,232
-263
F#
6
3
2021
go-httphandler
1 PR
+23
-2
Go
2
1
1
Show more
