Skip to content
View vittau's full-sized avatar

Block or report vittau

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

Pinned Loading

  1. darkenizer darkenizer Public

    dark theme generator

    HTML

  2. kripfy kripfy Public

    A Kripke structure modelling framework

    TypeScript 5 1

  3. PPAL PPAL Public

    Populational Announcement Logic - Library and Model Checker

    HTML

  4. Edools-RPS-XML Edools-RPS-XML Public

    Generates XML output from Edools to be sent for generation of the Nota Carioca NFS-e (Nota Fiscal de Serviços Eletrônica).

    Java 1

  5. ng2-minimal ng2-minimal Public

    Forked from born2net/ng2-minimal

    angular2 new router project

    TypeScript

  6. todoapp todoapp Public

    Simple todo app using Express, Sequelize/Postgre and Passport with Google OAuth and JWT

    JavaScript 4 1