samarion

samarion's Stars

• epfl-lara/stainless

  Verification framework and tool for higher-order Scala programs

  Language:Scala3531970051

• epfl-lara/inox

  Solver for higher-order functional programs, used by Stainless

  Language:Scala88135920

• epfl-lara/treenet

  Recursive Neural Networks for PyTorch

  Language:Python31627

• epfl-lara/welder

  Interactive Theorem Proving based on Inox

  Language:Scala10702

• samarion/scalagl

  Cross-platform bindings for OpenGL ES

  Language:Scala7300