Popular repositories Loading

1. vimium vimium Public

   Forked from philc/vimium

   The hacker's browser.

   JavaScript

2. default-text-scale default-text-scale Public

   Forked from purcell/default-text-scale

   Easily adjust the font size in all Emacs frames

   Emacs Lisp

3. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq

4. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

5. buildsome buildsome Public

   Forked from buildsome/buildsome

   Buildsome: The awesome build system

   Haskell