Popular repositories Loading

1. Idris2 Idris2 Public

   Forked from edwinb/Idris2-boot

   A dependently typed programming language, a successor to Idris

   Idris 1

2. eclipsefp eclipsefp Public

   Forked from JPMoresmau/eclipsefp

   EclipseFP, the Haskell plug-in for Eclipse

   Java

3. Pydev Pydev Public

   Forked from fabioz/Pydev

   Python IDE for Eclipse

   Java

4. FBReaderJ FBReaderJ Public

   Forked from geometer/FBReaderJ

   Official FBReaderJ project repository

   Java

5. xmpp.org xmpp.org Public

   Forked from xsf/xmpp.org

   xmpp.org website (builds: https://travis-ci.org/xsf/xmpp.org/builds)

   CSS

6. pciutils pciutils Public

   Forked from pciutils/pciutils

   The PCI Utilities

   C