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