memalloy

johnwickerson

Memory consistency modelling using Alloy

x86

View on GitHub Website

31 Stars

6 Forks

31 Watchers

OCaml Language

mit License

100 SrcLog Score

Cost to Build

$402.9K

Market Value

$498.2K

How is this calculated?

Growth over time

7 data points · 2021-07-01 → 2026-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about memalloy

Question copied to clipboard

What is the johnwickerson/memalloy GitHub project? Description: "Memory consistency modelling using Alloy". Written in OCaml. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone memalloy

Clone via HTTPS

git clone https://github.com/johnwickerson/memalloy.git

Clone via SSH

[email protected]:johnwickerson/memalloy.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the memalloy issue tracker:

Open GitHub Issues

Similar to memalloy

x64dbg RE-for-beginners reactos v86 capstone plasma unicorn asmjit mcsema barf-project VisualMASM edb-debugger keystone SmallerC bap rappel reicast-emulator likwid steed keypatch x86-assembly-cheat reverse-engineering-reference-manual cross arm_now FlingOS mnist-android-tensorflow y86 The_Holy_Book_of_X86 mini-c WinREPL