Popular repositories

1. chapel chapel Public

   Forked from chapel-lang/chapel

   a Productive Parallel Programming Language

   C 1

2. subdatatype-deriving subdatatype-deriving Public

   Tooling around seeing if there's a way to "extend" ADTs in Haskell

   TeX 1

3. libra libra Public

   Forked from diem/diem

   Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.

   Rust 1

4. move.vim move.vim Public

   Forked from 0xmovses/move.vim

   syntax highlighting and indentation in Vim for the Move smart contract language

   Vim Script 1

5. monokai-emacs monokai-emacs Public

   Forked from oneKelvinSmith/monokai-emacs

   Emacs Lisp

6. cryptol cryptol Public

   Forked from GaloisInc/cryptol

   Cryptol: The Language of Cryptography

   Haskell