Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by hopv

A curated list of projects in awesome lists by hopv .

https://github.com/hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

Last synced: 03 Aug 2024

https://github.com/hopv/hoice

An ICE-based predicate synthesizer for Horn clauses.

horn-clauses ice inference verify

Last synced: 03 Aug 2024

https://github.com/hopv/vel

Vel: A language for verified low-level software

Last synced: 09 Aug 2024