Skip to content

Copilot-Language/copilot-rust

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 

Repository files navigation

Build Status

Copilot is a runtime verification framework written in Haskell. It allows the user to write programs in a simple but powerful way using a stream-based approach.

Programs can be interpreted for testing, or translated Rust code to be incorporated in a project, or as a standalone application. The Rust backend ensures us that the output is constant in memory and time, making it suitable for systems with hard realtime requirements.

This project is currently an attempt at developing a proof-of-concept rust backend for Copilot.

This project is ongoing and community driven

  • Please use the discussions on github to communicate with other community members.

  • Please make sure you read the welcoming message, which sets the tone for how interaction should happen.

  • Please do not upload any packages to hackage for this backend yet. This is a proof of concept; we'll upload the package once we decide it's ready for users.

License

Copilot is distributed under the BSD-3-Clause license, which can be found here.

About

Rust backend for Copilot (WIP)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published