carnotweat
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