Projects in Awesome Lists tagged with refinement-type
A curated list of projects in awesome lists tagged with refinement-type .
https://github.com/kevin-lee/extras
A few extra tools
cats concurrency console-io newtype refined refinement refinement-type scala tools
Last synced: 13 Apr 2025
https://github.com/pfnet-research/pml
A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.
model-checking probabilistic-model refinement-type type-system verification
Last synced: 13 Apr 2025
