Pinned Repositories
leon
The Leon system for verification, synthesis, repair
stainless
Verification framework and tool for higher-order Scala programs
cafebabe
Tiny Scala library to generate class files for the JVM
gc
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
inox
Solver interface for higher-order functional programs
leon
The Leon system for verification, synthesis, and more.
scala-smtlib
SMT-LIB library for Scala
stainless
Verification framework for higher-order functional programs
v8
The official mirror of the V8 Git repository
gc
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
manoskouk's Repositories
manoskouk/cafebabe
Tiny Scala library to generate class files for the JVM
manoskouk/gc
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
manoskouk/inox
Solver interface for higher-order functional programs
manoskouk/leon
The Leon system for verification, synthesis, and more.
manoskouk/scala-smtlib
SMT-LIB library for Scala
manoskouk/stainless
Verification framework for higher-order functional programs