A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
Repository Index
76,356 visible repositories in the index
1–4 of 4 · Most stars
OCaml bindings for PyTorch
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
OCaml bindings for Python