awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
nasa avatar

nasa/pvslib

0
View on GitHub↗
307 stars·60 forks·Common Lisp·4 viewsshemesh.larc.nasa.gov/fm/ftp/larc/PVS-library↗

Pvslib

NASALib =

Features

  • Theorem Provers - Formal development libraries for the PVS verification system.

Star history

Star history chart for nasa/pvslibStar history chart for nasa/pvslib

How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Frequently asked questions

What does nasa/pvslib do?

NASALib =

What are the main features of nasa/pvslib?

The main features of nasa/pvslib are: Theorem Provers.

Which projects share features with nasa/pvslib?

Projects with overlapping indexed features include: calebegg/proof-pad — Proof Pad is a web based IDE for ACL2, using Google Kubernetes Engine to run ACL2 itself on the backend. Users can… tani/acl2-kernel — Jupyter Kernel for ACL2.

Projects sharing features with Pvslib

These projects share indexed features with Pvslib. Shared tags can include platform or build tooling; verify the primary use case before treating a result as a replacement.
  • calebegg/proof-padcalebegg avatar

    calebegg/proof-pad

    11View on GitHub↗

    Proof Pad is a web based IDE for ACL2, using Google Kubernetes Engine to run ACL2 itself on the backend. Users can write and verify functions and theorems using a modern editor or a REPL interface. It's the evolution of the original Proof Pad project.

    TypeScript
    View on GitHub↗11
  • tani/acl2-kerneltani avatar

    tani/acl2-kernel

    8View on GitHub↗

    Jupyter Kernel for ACL2

    Jupyter Notebook
    View on GitHub↗8