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: 212
• Following: 5
• Total stars: 256
• Repositories count: 39
• Created at: 2022-11-03T03:31:17.297Z
• Updated at: 2024-05-20T13:58:32.098Z
• Last synced at: 2024-05-20T13:58:24.847Z

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

Featured Works

Sponsors

Active Sponsors

• nubank

Past Sponsors

Sponsor Breakdown

• Organization: 1