coq-community/coqffi
Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
OCamlMIT
Stargazers
- ana-borges
- anton-trunovhttps://tonstudio.io
- araghunde
- CharlesAverill@SoftwareLanguagesSecurityLab
- chenzhawyangChangzhou, China
- clarusFormal Land
- codyroux
- edwinans@Lexifi
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- esnekoLatvia
- hannelita(x, y, z, t)
- hargoniXLean FRO
- JeffCarpenterCanada
- jmikedupont2@meta-introspector
- jsoo1Santa Ana, CA
- lthmsNomadic Labs
- Lysxia
- MbodinINRIA
- mukeshtiwariSwansea
- musha68kLightspeed
- nikitavoloboevMadrid
- NYStudNew York, NY
- philzook58Draper
- phinkNomadic Labs
- rizoPorto (Portugal)
- rtviiiVancouver
- savi2w@creme-tech
- smondetNew York, NY
- smorimoto@ocaml @tc39
- start974Paris
- tkersey@thisisartium
- unsoundsystemJapan
- xvw@funkywork, @tarides
- yumetraitChicago
- zhengpushiNanjing University of Aeronautics and Astronautics