Lobsters
- Modeling Git Internals in Alloy, Part 1: Blobs and Trees https://bytes.zone/posts/modeling-git-internals-in-alloy-part-1-blobs-and-trees/ 12 comments formalmethods
Linking pages
- Modeling Git Internals in Alloy, Part 2: Commits and Tags https://bytes.zone/posts/modeling-git-internals-in-alloy-part-2-commits-and-tags/ 18 comments
- modeling CRDTs in Alloy - introduction and the importance of idempotence https://bytes.zone/posts/modeling-crdts-in-alloy-introduction-and-the-importance-of-idempotence/ 8 comments
- Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees https://bytes.zone/posts/modeling-git-internals-in-alloy-part-3-operations-on-blobs-and-trees/ 1 comment
Linked pages
- Git https://git-scm.com/ 252 comments
- http://alloytools.org/ 21 comments
- Formal methods - Wikipedia https://en.wikipedia.org/wiki/Formal_methods 7 comments
- Modeling Database Tables in Alloy https://bytes.zone/posts/modeling-database-tables-in-alloy/ 4 comments
- The Value of a Model is More Making than Having https://bytes.zone/posts/the-value-of-a-model-is-more-making-than-having/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:bytes.zone
Search title: Modeling Git Internals in Alloy, Part 1: Blobs and Trees
See how to search.