Skip to content
View abau's full-sized avatar

Block or report abau

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. dilay dilay Public

    a 3D sculpting application

    C++ 497 67

  2. cppsat cppsat Public

    Propositional Encodings in C++11

    C++ 18 1

  3. variant variant Public

    Type-safe, memory-managed sum-types in C++11

    C++ 15 3

  4. bildpunkt bildpunkt Public

    Weekend project: bildpunkt - a GPU-based distance field renderer

    Haskell 10

  5. hannah hannah Public

    a DSL for parsing and generating files and network traces

    Haskell 6

  6. co4 co4 Public

    COmplexity COncerned COnstraint COmpiler

    Haskell 2 3