An open API service aggregating public data about GitHub Sponsors.

andrew-johnson-4

View JSON Representation

Stringly Typed

Funding Links: https://github.com/sponsors/andrew-johnson-4

Name: Andrew Johnson
Location: Helena, Montana
Kind: user
Followers: 491
Following: 0
Total stars: 244
Repositories count: 69
Created at: 2022-11-14T06:10:52.637Z
Updated at: 2024-05-20T14:20:44.383Z
Last synced at: 2024-05-20T14:20:42.049Z

GitHub Sponsors Profile

I work on LSTS/LM, which is a proof assistant and a programming language.
2024 roadmap:

✓ Bootstrap Compiler 🥳🎉🎁
Document the Bootstrap Compiler in "The Bootstrap Booklet"

Current Sponsors: 0
Past Sponsors: 0
Total Sponsors: 0