manoskouk

Compilers • Program Synthesis — V8 • Webassembly • Scala

GoogleAthens, Greece

Pinned Repositories

leon
The Leon system for verification, synthesis, repair
Language:Scala162 25 6249
stainless
Verification framework and tool for higher-order Scala programs
Language:Scala349 19 69750
cafebabe
Tiny Scala library to generate class files for the JVM
Language:Scala0 1 00
gc
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
Language:WebAssembly0 0 00
inox
Solver interface for higher-order functional programs
Language:Scala0 0 00
leon
The Leon system for verification, synthesis, and more.
Language:Scala0 2 00
scala-smtlib
SMT-LIB library for Scala
Language:SMT00
stainless
Verification framework for higher-order functional programs
Language:Scala0 0 00
v8
The official mirror of the V8 Git repository
Language:C++23.1k 970 03.9k
gc
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
Language:WebAssembly977 96 33270

manoskouk's Repositories

manoskouk/cafebabe
Tiny Scala library to generate class files for the JVM
Language:Scala0 1 00
manoskouk/gc
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
Language:WebAssembly0 0 00
manoskouk/inox
Solver interface for higher-order functional programs
Language:Scala0 0 00
manoskouk/leon
The Leon system for verification, synthesis, and more.
Language:Scala0 2 00
manoskouk/scala-smtlib
SMT-LIB library for Scala
Language:SMT00
manoskouk/stainless
Verification framework for higher-order functional programs
Language:Scala0 0 00