Avatar for Kushagra Bhatnagar from gravatar.com

Kushagra Bhatnagar

Username    kushagra_bhatnagar
Date joined   Joined

3 projects

semantic-compiler-core

Last released

Deterministic semantic compiler core: SIR → RLang → ProofBundle with stable hashes.

rlang-compiler

Last released

Deterministic RLang compiler with cryptographic proof generation for BoR (Blockchain of Reasoning)

bor-sdk

Last released

BoR-Proof SDK — Deterministic, Replay-Verifiable Proof of Reasoning

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page