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