Giters
Ravichandhran Madhavan (ravimad)

ravimad

Geek Repo

13

followers

0

following

4

stars

Company:EPFL

Location:Lausanne

Home Page:http://lara.epfl.ch/~kandhada

Github PK Tool:Github PK Tool

Ravichandhran Madhavan's repositories

Orb2015

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

Language:ScalaLicense:NOASSERTIONStargazers:2Issues:2Issues:8

SEAL

Language:C#Stargazers:1Issues:2Issues:0

inox

Solver interface for higher-order functional programs

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

leon

The Leon system for verification, synthesis, and more.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:4Issues:0

leon2015

Fork of Leon

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

scalacache

Simple caching in Scala

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

stainless

Verification framework for higher-order functional programs

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0