Pinned Loading

1. intellij-arend intellij-arend Public

   Forked from JetBrains/intellij-arend

   Arend plugin for IntelliJ IDEA

   Kotlin

2. plfa.github.io plfa.github.io Public

   Forked from plfa/plfa.github.io

   PLFA rewritten in Arend

   HTML 5

3. infer infer Public

   Forked from facebook/infer

   A static analyzer for Java, C, C++, and Objective-C

   OCaml

4. go go Public

   Forked from golang/go

   The Go programming language

   Go

5. bittorrent-client bittorrent-client Public

   Simple BitTorrent client written in Go

   Go

6. HaskellDebugger HaskellDebugger Public

   C 7 1