Pinned Loading

1. idris-lang/Idris-dev idris-lang/Idris-dev Public archive

   A Dependently Typed Functional Programming Language

   Haskell 3.5k 630

2. Mercury-Language/mercury Mercury-Language/mercury Public

   The Mercury logic programming system.

   Mercury 1.1k 72

3. SublimeText/ElasticTabstops SublimeText/ElasticTabstops Public

   Tab characters automatically adjust to keep adjacent lines aligned.

   Python 67 6

4. versioned-configs versioned-configs Public

   Naming dotfiles as "versioned-configs" before it was cool

   Vim Script 5

5. wave-simulation wave-simulation Public

   A C++11/CMake/Boost/Qt/OpenGL excersize.

   C++ 23 4

6. efm8boot efm8boot Public

   Silicon Labs EFM8 Factory Bootloader client

   Python 6 3