Catarina Gamboa's repositories
liquidjava-examples
Examples to use with LiquidJava
flight-controllers-liquid-state
Using Liquid Types in Java to model typestate in flight controllers, specifically using the mavsdk library
liquid-java-external-libs
LiquidJava specification files for Java libraries
liquidhaskell-short-tutorial
Short Tutorial for LiquidHaskell
Language:JavaScriptMIT000
vscode-java-test
Run and debug Java test cases in Visual Studio Code.
Language:JavaNOASSERTION000