Similar repositories to coq-community/coqffi:
coq-community/coqffi
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
ubuntu/microk8s
github
similar
tuvtran/project-based-learning
github
similar
pveber/binning
github
similar
voodoos/elpi-js
github
similar
alexcrichton/cc-rs
github
similar
k6io/k6
github
similar
hecrj/iced
github
similar
meilisearch/MeiliSearch
github
similar
AestheticIntegration/ocaml-gcloud
github
similar
bedrocksystems/cpp2v
github
similar
gibiansky/IHaskell
github
similar
palmskog/coq-program-verification-template
github
similar
juxt/crux
github
similar
GamestonkTerminal/GamestonkTerminal
github
similar
Lysxia/coq-recursion-schemes
github
similar
clarus/coq-of-js
github
similar
Lysxia/coq-ceres
github
similar
johnelse/ocaml-mvar
github
similar
LexiFi/landmarks-viewer
github
similar
backtracking/ocaml-bdd
github
similar
roglo/coq_real
github
similar
c-cube/linol
github
similar
backtracking/program-proofs-with-why3
github
similar
EngineeringSoftware/mcoq
github
similar
janestreet/krb
github
similar
coq-community/bits
github
similar
well-typed-lightbulbs/opam-cross-esp32
github
similar
c-cube/iterators_bench
github
similar
lpw25/ecaml
github
similar
mit-plv/rewriter
github
similar
math-comp/mczify
github
similar
math-comp/multinomials
github
similar
dinosaure/minifiber
github
similar
coq-community/coqtail-math
github
similar
letouzey/coq-minicalc
github
similar
geoffder/olm-ml
github
similar
c-cube/smtlib-utils
github
similar