lamg

View JSON Representation

Solving problems

Funding Links: https://github.com/sponsors/lamg

• Name: Luis Ángel Méndez Gort
• Location: Germany
• Kind: user
• Followers: 48
• Following: 92
• Total stars: 50
• Repositories count: 71
• Created at: 2022-11-12T02:09:08.254Z
• Updated at: 2025-06-26T02:06:04.148Z
• Last synced at: 2025-06-26T02:06:04.148Z

GitHub Sponsors Profile

Formal verification
Functional algorithms and data structures
F#

• Current Sponsors: 0
• Past Sponsors: 0
• Total Sponsors: 0
• Minimum Sponsorship: $1.00

Active Sponsors

Past Sponsors

Sponsor Breakdown

• User: 1

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1