Arcadio Rubio García's repositories
data-logic
Expert system with deductive querying and verification of constraints expressed in natural language
ajcontract
Design by contract extension to Java using annotations and bytecode injection
ruby-check
Property-based testing for Ruby, à la QuickCheck