gabrielweich / PUCRS

Works for Software engineering bachelor at PUCRS

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

PUCRS

About

Works for Software engineering bachelor at PUCRS


Languages

Language:Java 47.5%Language:Xtend 26.8%Language:Python 14.9%Language:Alloy 5.1%Language:Dafny 5.0%Language:Batchfile 0.4%Language:Shell 0.3%