All Git Users → epfl-lara

5 open source projects by epfl-lara

[ Open user page on Github ]

Verification framework and tool for higher-order Scala programs

✭ 241

scala html verification smt formal-methods

The Leon system for verification, synthesis, repair

✭ 153

DSL in Scala for Constraint Solving with Z3 SMT Solver

✭ 101

Solver for higher-order functional programs

✭ 63

Recursive Neural Networks for PyTorch

✭ 29

python deep-learning neural-network pytorch lstm tree-structure batch-processing recursive-neural-networks tree-lstm

1-5 of 5 user projects