manoskouk

Manos Koukoutos's repositories

Tiny Scala library to generate class files for the JVM

Language:ScalaNOASSERTION010

Branch of the spec repo scoped to discussion of GC integration in WebAssembly

Language:WebAssemblyNOASSERTION000

Solver interface for higher-order functional programs

Language:ScalaAGPL-3.0000

The Leon system for verification, synthesis, and more.

Language:ScalaNOASSERTION020

SMT-LIB library for Scala

Language:SMTMIT000

Verification framework for higher-order functional programs

Language:ScalaAGPL-3.0000