Pinned Loading

1. hcj-js/hcj hcj-js/hcj Public

   3

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

   A Dependently Typed Functional Programming Language

   Haskell 3.5k 631

3. idris-hackers/idris-mode idris-hackers/idris-mode Public

   Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

   Emacs Lisp 274 73

4. emacs-mirror/emacs emacs-mirror/emacs Public mirror

   Mirror of GNU Emacs

   Emacs Lisp 4.9k 1.4k

5. HoTT/book HoTT/book Public

   A textbook on informal homotopy type theory

   TeX 2.1k 375

6. wine-mirror/wine wine-mirror/wine Public mirror

   C 3.9k 1.2k