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