refscript. Refinement Types for Scripting Languages

github.com/UCSD-PL/refscript

by

@UCSD-PL

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.