Pinned Loading

1. solid solid Public

   A dependently-typed language with unboxed data.

   Idris 8

2. powar-ts powar-ts Public

   A simple but powerful TypeScript-based dot-file manager.

   TypeScript 2 1

3. superfluid superfluid Public

   A functional language with dependent types and customisable type representations

   Haskell 13

4. ultra ultra Public

   System-wide macOS VIM keybindings

   TypeScript

5. hash-org/hashc hash-org/hashc Public

   The Hash programming language compiler ⚡

   Rust 27 2

6. irrelevance-agda irrelevance-agda Public

   Computational irrelevance as a SOGAT

   Agda 3