Popular repositories Loading

1. ac-for-egison ac-for-egison Public

   auto-complete-mode for egison

   Emacs Lisp 2 1

2. lean lean Public

   Forked from leanprover/lean3

   Lean Theorem Prover

   C++

3. highlighting-kate highlighting-kate Public

   Forked from jgm/highlighting-kate

   A syntax highlighting library in Haskell, based on Kate syntax definitions

   HTML

4. yi yi Public

   Forked from yi-editor/yi

   The Haskell-Scriptable Editor

   Haskell

5. rust rust Public

   Forked from rust-lang/rust

   A safe, concurrent, practical language.

   Rust

6. lean-tauto lean-tauto Public

   Lean