Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

https://github.com/isubasinghe/monday-talk

Last synced: 26 days ago
JSON representation

Host: GitHub
URL: https://github.com/isubasinghe/monday-talk
Owner: isubasinghe
License: mit
Created: 2023-10-13T04:37:53.000Z (about 1 year ago)
Default Branch: main
Last Pushed: 2023-10-15T22:53:04.000Z (about 1 year ago)
Last Synced: 2023-10-17T10:52:48.773Z (about 1 year ago)
Language: Rust
Size: 13.2 MB
Stars: 0
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE

Awesome Lists containing this project

README

        [![Quick Start](https://img.shields.io/badge/tutorial-quick%20start-informational)](https://verus-lang.github.io/verus/guide/getting_started.html) [![Library Documentation](https://img.shields.io/badge/docs-vstd-informational)](https://verus-lang.github.io/verus/verusdoc/vstd/) [![project chat](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://verus-lang.zulipchat.com)

Verus is a tool for verifying the correctness of code written in Rust.

Developers write specifications of what their code should do,

and Verus statically checks that the executable Rust code will always 

satisfy the specifications for all possible executions of the code.

Rather than adding run-time checks, Verus instead relies on powerful solvers to

prove the code is correct.  Verus currently supports a subset of Rust (which we

are working to expand), and in some cases, it allows developers to go beyond

the standard Rust type system and statically check the correctness of code

that, for example, manipulates raw pointers.  

![VS Code Demo](source/docs/verus-demo.png)

## Status

Verus is under *active development*. Features may be broken and/or missing, and

the documentation is still incomplete. If you want to try Verus, please be

prepared to ask for help in the [💬 Zulip](https://verus-lang.zulipchat.com/).

## Try Verus

To try Verus in your browser, please visit the [Verus Playground](https://play.verus-lang.org/).

For more involved development, please follow our [installation instructions](INSTALL.md).

Then you can dive into the documentation below, starting

with the [📖 Tutorial and reference](https://verus-lang.github.io/verus/guide/).

## Documentation

Our (work-in-progress) documentation resources include:

 * [📖 Tutorial and reference](https://verus-lang.github.io/verus/guide/)

 * [📖 API documentation for Verus's standard library](https://verus-lang.github.io/verus/verusdoc/vstd/)

 * [📖 Guide for verifying concurrent code](https://verus-lang.github.io/verus/state_machines/)

 * [Project Goals](../../wiki/Goals)

 * [Contributing to Verus](CONTRIBUTING.md)

 * [License](LICENSE)

## Getting in touch, reporting issues, and starting discussions

Please report issues or start discussions here on GitHub, or join us on [💬 Zulip](https://verus-lang.zulipchat.com/) for more realtime discussions and if you need help. Thank you for using and contributing to Verus!

We use GitHub discussions for feature requests and more open-ended conversations about

upcoming features, and we reserve GitHub issues for actionable issues (bugs) with

existing features. Don't worry though: if we think an issue should be a discussion (or

vice versa) we can always move it later.

We welcome contributions! If you'd like to contribute code, have a look at the tips in

[Contributing to Verus](CONTRIBUTING.md).

---

[ Zulip](https://zulip.com/) sponsors free hosting for Verus. Zulip is an open-source modern team chat app designed to keep both live and asynchronous conversations organized.