Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/ppedrot/kravanenn

A set of tools for Coq written in Rust
https://github.com/ppedrot/kravanenn

Last synced: 26 days ago
JSON representation

A set of tools for Coq written in Rust

Awesome Lists containing this project

README

        

# Kravanenn

This is a Rust package providing a few tools for Coq. Most notably, there is currently:

- A library that reimplements OCaml native serialization from the `Marshal` module in pure Rust.
- A implementation of the Hopcroft algorithm tailored for the reduction of OCaml structures. See [this OCaml implementation](https://github.com/ppedrot/ocaml-compactor) for more details.
- Stubs for browsing Coq `vo` object files