Popular repositories Loading

1. Senado Senado Public

   Python 1

2. resumos-leic resumos-leic Public

   Forked from leic-pt/resumos-leic

   Resumos das UCs de LEIC-A do IST

   Markdown

3. proj-ist-unit-tests proj-ist-unit-tests Public

   Forked from diogotcorreia/proj-ist-unit-tests

   Online Unit Tests for IST projects

   Java

4. JaVerT2.0 JaVerT2.0 Public

   Forked from javert2/JaVerT2.0

   JaVerT2.0 - Compositional Symbolic Execution for JavaScript

   JavaScript

5. Explode_Inst Explode_Inst Public

   Instrumentation of Javascript files for symbolic testing with ExplodeJS

   JavaScript

6. AVerySimpleLanguage AVerySimpleLanguage Public

   Forked from fmesena/AEnima

   OCaml