Repository Index

77,852 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–3 of 3 · Most stars

comby-tools / comby

OCaml 2.7K 75

A code rewrite tool for structural search and replace that supports ~every language.

OCaml 282 21

Formal verification for OCaml, with Rocq

OCaml 150 13

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)