rupertlssmith/hak_wambook
Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
Java
Stargazers
- 32bitmicro32bitmicro
- automenta
- belamensoLausanne, Vaud, Switzerland
- bhattisatish@mvp-rockets
- csgordonDrexel University
- cvsekhar
- gawenairbuds.fm
- jeremy-w@bignerdranch
- josephH00
- josephnunnUniversity of California, Irvine: CALIT2 Research Group - CalGurus Lead
- latroklesSeattle
- lukasriegerDeutschland, Bayern, München
- luqasn
- mpwmetaobject GmbH, HPI
- pricesmith
- ProteasZone 3
- PtrMan
- rad9800UK
- RolfRolles
- sisbell
- tomasz-gac@Empirica-Crypto
- vasily-kartashovMelbourne, Australia
- wrmsrSan Frandisco
- yurlinSaint Petersburg, Russia