carnotweat

View JSON Representation

now sr.ht/carnotweat

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

• Name: sameer gupta
• Location: Bangalore
• Company: carnot
• Kind: user
• Followers: 0
• Following: 0
• Total stars: 4
• Repositories count: 201
• Created at: 2022-11-18T10:13:51.399Z
• Updated at: 2025-03-09T21:19:03.762Z
• Last synced at: 2025-03-09T21:19:03.762Z

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.

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