bronsa

View JSON Representation

Working at https://imandra.ai, building algorithmic verification tools in ocaml using formal methods. @clojure core contributor, contrib author

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

• Name: Nicola Mometto
• Location: London
• Company: @imandra-ai
• Kind: user
• Followers: 221
• Following: 5
• Total stars: 256
• Repositories count: 39
• Created at: 2022-11-03T03:31:17.297Z
• Updated at: 2025-03-28T09:03:20.984Z
• Last synced at: 2025-03-28T09:03:20.984Z

GitHub Sponsors Profile

I'm the lead developer of the tools.reader and tools.analyzer clojure contrib libraries and a contributor to the clojure runtime and compiler.

• Current Sponsors: 1
• Past Sponsors: 1
• Total Sponsors: 2
• Minimum Sponsorship: $1.00

Featured Works

Active Sponsors

Past Sponsors

Sponsor Breakdown

• Organization: 1