An open API service aggregating public data about GitHub Sponsors.

carnotweat

View JSON Representation

now sr.ht/carnotweat

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

GitHub Sponsors Profile

Possible proof engineer from Emacs
Trying to make my reproducible remote distributed nixos builds reliable- across the processors

I ll try to do include on Jetson Nano , now that Nvidia released its kernel driver as opensource .

Using ski calculus with Agda and Coq for deducing Nats and applying the results so obtained, for elementary theorem proving.
Funds

More connectors, adapters, jumpers, boards, remote systems ( Not cloud or Microservices) and Research.