Popular repositories Loading

1. bitvector bitvector Public

   A C++ container-like data structure for storing a vector of bits with fast appending on both sides and fast insertion in the middle, all in succinct space

   C++ 22 2

2. cpputils cpputils Public

   A little collection of various C++ utilities that I frequently use

   C++ 3 3

3. ocmesh ocmesh Public

   Library for hexahedral mesh generation from a CSG description

   C++ 3 7

4. ltl-simplifier ltl-simplifier Public

   Driver to call Owl to simplify LTL formulas

   C++ 1

5. type_safe type_safe Public

   Forked from foonathan/type_safe

   Zero overhead utilities for preventing bugs at compile time

   C++

6. bosy bosy Public

   Forked from reactive-systems/bosy

   BoSy is a reactive synthesis tool based on constraint-solving

   Swift