Nazareno Aguirre's repositories
minesweeper
A Simple MineSweeper Project
eiffel-subtitle-converter
A Subtitle Converter developed in Eiffel using Design by Contract
riocuartobandasderock
A Web Based System for Rock Bands from Rio Cuarto
eiffel-bank-ocr
Small programming Kata using Eiffel to implement the BankOCR problem
eiffel-sudoku
An Eiffel Development of Sudoku, using Design by Contract
algorithm-design-exercises-set-2020
Exercises for Algorithm Design Techniques course at UNRC, 2020.
Language:JavaMIT000
ICEBAR
Counter Example Guided Alloy Repair
Language:JavaGPL-3.0000
junit-quickcheck
Property-based testing, JUnit-style
Language:JavaMIT000
nmaguirre.github.io
Personal web site
Language:HTMLMIT000
randoop
Automatic test generation for Java
Language:JavaNOASSERTION000
taco-cli
Command Line Interface for TACO
Language:Java000