simplr. A simple programming language for program verification using Z3, ANTLR4 & Parser Combinators written using Scala

github.com/codersguild/simplr
by @codersguild

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.