https://github.com/slemus9/sprite-lang-scala

Implementation of a language with Refinement Types
https://github.com/slemus9/sprite-lang-scala

refinement-types scala smt

Last synced: 7 months ago
JSON representation

Implementation of a language with Refinement Types

• Host: GitHub
• URL: https://github.com/slemus9/sprite-lang-scala
• Owner: slemus9
• Created: 2024-08-18T23:58:29.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-09-06T02:41:51.000Z (about 1 year ago)
• Last Synced: 2025-01-29T11:30:13.693Z (9 months ago)
• Topics: refinement-types, scala, smt
• Language: Scala
• Homepage:
• Size: 60.5 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: Readme.md

Awesome Lists containing this project

README

          
# Refinement Types

Implementation of the `sprite` language from [Refinement Types: A Tutorial by Ranjit Jhala and Niki Vazou](https://arxiv.org/abs/2010.07763)