CAVI-ART CAVI-ART

A UCM-GPD project



Repositories

cavi-art/why3-hs
Why3 Haskell interface
Haskell - BSD-3-Clause - Last pushed - 0 stars
cavi-art/clir-parser-java
A CAVI-ART IR Parser implemented in Java
Java - Apache-2.0 - Last pushed - 0 stars
cavi-art/cl-clir2mlw
CLIR2MLW is a parser which prints CLIR files as MLW Why3 files.
Common Lisp - AGPL-3.0 - Last pushed - 0 stars
cavi-art/clir-parser-haskell
A CLIR parser written in Haskell
Haskell - Apache-2.0 - Last pushed - 0 stars
cavi-art/sexp-parser-java
A s-expression parser written in Java. Nothing more. Use as a library.
Java - Apache-2.0 - Last pushed - 0 stars
cavi-art/api-backend
Python - Apache-2.0 - Last pushed - 0 stars
See all CAVI-ART's repositories

Top Contributors See all

Santiago Saavedra