https://github.com/romac/oxid-light

Prototype functional programming language with refinement types, powered by Inox
https://github.com/romac/oxid-light

inox refinement-types software-verification

Last synced: 10 months ago
JSON representation

Prototype functional programming language with refinement types, powered by Inox

• Host: GitHub
• URL: https://github.com/romac/oxid-light
• Owner: romac
• License: bsd-3-clause
• Created: 2018-05-31T13:33:21.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2018-06-13T08:36:23.000Z (about 8 years ago)
• Last Synced: 2025-04-07T03:35:46.136Z (about 1 year ago)
• Topics: inox, refinement-types, software-verification
• Language: Scala
• Homepage:
• Size: 6.84 KB
• Stars: 7
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Oxid

> Simple functional programming language with refinement types, powered by [Inox](https://github.com/epfl-lara/inox).

Crafted for my *Refine your types!* [talk](https://github.com/romac/talks/tree/master/2018-05-31-RefineYourTypes) at the [*Formal Methods and Verified Software* meetup](https://www.meetup.com/Formal-Methods-and-Verified-software-meetup).

## Disclaimer

This is just a prototype, and should not be taken as a proper basis for implementing a language with refinement types. Bug reports or pull requests are very welcome though!

## License

Oxid is released under the [BSD3 license](/LICENSE).