bloomberg/crane

A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

Open All

4 open issues indexed

Automatic generation of OCaml FFI code Open

enhancement wontfix

bloomberg/crane#77 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
`Crane Benchmark` should record memory usage Open

bloomberg/crane#119 · 2 comments · 0 reactions · 1 assignee · Indexed Sep 14, 2026
CI does not seem to run Rocq tests and extraction Open

bloomberg/crane#123 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Shift `STArray`'s to be indexed by nats instead of typeclass indices Open

bloomberg/crane#127 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026

Get new issues in your inbox