samarion

Pinned Repositories

inox
Solver for higher-order functional programs, used by Stainless
Language:Scala88 13 5920
leon
The Leon system for verification, synthesis, repair
Language:Scala161 25 6249
ScalaZ3
DSL in Scala for Constraint Solving with Z3 SMT Solver
Language:Scala122 11 3934
stainless
Verification framework and tool for higher-order Scala programs
Language:Scala353 19 70051
scala-smtlib
Scala library for parsing and printing the SMT-LIB format
Language:SMT44 5 1323
cafebabe
Tiny Scala library to generate class files for the JVM
Language:Scala0 2 01
leon
The Leon system for verification, synthesis, and more.
Language:Scala0 2 00
sbt-abide
Language:Scala0 3 00
scalagl
Cross-platform bindings for OpenGL ES
Language:Scala7 3 00
scala-abide
obsolete; visit https://github.com/scalacenter/scalafix instead
Language:Scala230 46 4131

samarion's Repositories

samarion/scalagl
Cross-platform bindings for OpenGL ES
Language:Scala7 3 00
samarion/cafebabe
Tiny Scala library to generate class files for the JVM
Language:Scala0 2 01
samarion/leon
The Leon system for verification, synthesis, and more.
Language:Scala0 2 00
samarion/sbt-abide
Language:Scala0 3 00
samarion/scala-abide
Library for quick scala code checking and validation.
Language:Scala2 0
samarion/scala-abide-rules
Language:Scala3 1
samarion/scala-smtlib
SMT-LIB library for Scala
Language:Scala2 01
samarion/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
Language:Scala2 0
samarion/sling
Mirror of Apache Sling (incubating)
Language:Java2 0