dc2021q-a-fallen-lap-ray
Parallel VM
An implementation of a parallel machine-based VM with multiple-opcode instructions and potential race conditions, used to test exploitability of the architecture.
8 stars
5 watching
0 forks
Language: Python
last commit: over 3 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 xavierleroy/ocamlmpi | An interface between OCaml and the Message Passing Interface (MPI) for distributed-memory parallel programming | 24 |
 lmj/lfarm | A library for distributing work across machines using parallel processing | 106 |
 pikatchu/linearml | A programming language designed to write efficient parallel programs using functional principles. | 432 |
 lammps/lammps | A parallel molecular dynamics simulation software package | 2,274 |
 david-oconnor/pyflow | A tool for streamlining Python project setup and dependency management | 1,329 |
 pawamoy/pdm-multirun | Enables running tests on multiple Python versions within a single build process | 8 |
 0xpolygonmiden/miden-vm | A STARK-based virtual machine designed to execute programs and generate proof of execution without revealing program details. | 633 |
 pvolok/mprocs | A tool to run multiple commands in parallel and show their output separately. | 1,564 |
 oxidecomputer/propolis | A Rust-based project providing a user-space interface for managing virtual machines on illumos bhyve. | 183 |
 ogrisel/parallel_ml_tutorial | A tutorial on parallel machine learning with scikit-learn and IPython | 1,593 |
 parallella/pal | An optimized C library for parallel computing and data movement on resource-constrained devices | 301 |
 runtimeverification/evm-semantics | Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language. | 509 |
 pipermerriam/py-evm | A Python implementation of the Ethereum Virtual Machine. | 40 |
 unixjunkie/parany | A tool for parallelizing computations and processing large streams of data | 52 |
 aifeg/benchlmm | An open-source benchmarking framework for evaluating cross-style visual capability of large multimodal models | 84 |