Popular repositories Loading

1. DefinitelyTyped DefinitelyTyped Public

   Forked from DefinitelyTyped/DefinitelyTyped

   The repository for high quality TypeScript type definitions.

   JavaScript

2. elm-html elm-html Public

   Forked from evancz/elm-html

   Use HTML in Elm!

   JavaScript

3. elm-todomvc elm-todomvc Public

   Forked from evancz/elm-todomvc

   Proper implementation of the TodoMVC app

   CSS

4. idris-sandbox idris-sandbox Public

   Idris

5. angular2-webpack-starter angular2-webpack-starter Public

   Forked from PatrickJS/PatrickJS-starter

   An Angular 2 Starter kit featuring Angular 2 (Router, Http, Forms, Services, Tests, E2E, Dev/Prod), Material Design, Karma, Protractor, Jasmine, Istanbul, TypeScript, TsLint, Codelyzer, Hot Module …

   JavaScript

6. vscode-idris vscode-idris Public

   Forked from swr1bm86/vscode-idris

   Idris for Visual Studio Code

   JavaScript