Explore projects

The Omega Decision Procedure Library

TestProject for the Kurs^^

Repository for the VR Tutorial of Unity

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

A Verified Compiler for Gallina, Written in Gallina