Explore projects

Naïve C++ implementation of models for regular languages.

The Omega Decision Procedure Library

This project is a distributed hash table (DHT) implementation with lock-free insertions, updates and reads based on MPI one-sided communication.