Popular repositories Loading

1. gapt gapt Public

   Forked from gapt/gapt

   GAPT: General Architecture for Proof Theory

   Scala

2. http4s http4s Public

   Forked from http4s/http4s

   A minimal, idiomatic Scala interface for HTTP

   Scala

3. ngx-datatable ngx-datatable Public

   Forked from swimlane/ngx-datatable

   ✨ A feature-rich yet lightweight data-table crafted for Angular2 and beyond!

   TypeScript

4. angular2-contextmenu angular2-contextmenu Public

   Forked from isaacplmann/angular2-contextmenu

   A context menu built with Angular 2 inspired by ui.bootstrap.contextMenu.

   TypeScript

5. pizza-maxsat pizza-maxsat Public

   Scala

6. google-cloud-helloworld google-cloud-helloworld Public

   A simple application using some Google Cloud services.

   JavaScript