Pinned Loading

1. Genetic-Algorithm-Structure-Prediction Genetic-Algorithm-Structure-Prediction Public

   An implementation of a genetic algorithm in Python for predicting equilibrium crystal structures for a given potential. The potential implemented here is the Daoud-Cotton model, but this can be eas…

   Python 2 1

2. Molecular-Dynamics-Simulator Molecular-Dynamics-Simulator Public

   Molecular dynamics simulator implemented with the verlet algorirthm.

   C++ 1

3. sPLash sPLash Public

   Compiler for the sPLash programming language

   Python 2

4. BASICS BASICS Public

   Model Checking tool to verify LTL properties in stack memory of binary programs

   C 2