Guy Rombaut's repositories
alloy_book
Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"
Language:Alloy000
crunchbase.json
Your very own copy of the Crunchbase DB
000
Language:Alloy000
Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"
Your very own copy of the Crunchbase DB