Skip to content
View nicola-gigante's full-sized avatar

Organizations

@black-sat

Block or report nicola-gigante

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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++ 21 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