liquid-types

There are 4 repositories under liquid-types topic.

tarberd/ekitai
Ekitai is a small programming language with refinement types that compiles to binary code using the LLVM ecosystem.
Language:Rust9 2 31
conilas/odd-or-even
Different ways to solve a problem using different languages
Language:SMT4 1 00
Singularitty/sPLash
Compiler for the sPLash programming language
Language:Python2 1 00
todesking/PReTy
Refinement types for Scala
Language:Scala2 0