Paruyr Muradian's repositories
Cloudatlas
Distributed Systems Lab
LatteCompiler
Compiler from Latte language to LLVM assembly
AxilrodTellerPotential-three-body-interaction
The Axilrod–Teller potential is a three-body potential that results from a third-order perturbation correction to the attractive London dispersion interactions (instantaneous induced dipole-induced dipole). Three body interaction algorithm implemented with OpenMPI
BackwardCoverability-for-VAS
Implementation of backward coverability algorithm from http://www.lsv.fr/~haase/documents/bfhh.pdf
DaMusicBox
Source code of a small Raspberry pi project
Language:Python000
InstantCompiler
Compiler for a small inperative language called "Instant"
Language:Shell000
Language:Scala000
SnapController
Simple controller class that adds snapping functionality to UIView
Language:Java000
StreamEvaluator
Small example program working with Kafka streams
Language:Shell000
Z3-Python-Examples
Example programs using z3 library