sakas--

Pinned Repositories

ac-for-egison
auto-complete-mode for egison
Language:Emacs Lisp2 1 01
egison-tutorial
The Egison tutorial
Language:Haskell0 1 00
highlighting-kate
A syntax highlighting library in Haskell, based on Kate syntax definitions
Language:HTML0 1 00
lean
Lean Theorem Prover
Language:C++0 1 00

sakas--'s Repositories

sakas--/ac-for-egison
auto-complete-mode for egison
Language:Emacs Lisp2 1 01
sakas--/egison-tutorial
The Egison tutorial
Language:Haskell0 1 00
sakas--/highlighting-kate
A syntax highlighting library in Haskell, based on Kate syntax definitions
Language:HTML0 1 00
sakas--/lean
Lean Theorem Prover
Language:C++0 1 00
sakas--/lean-tauto
Language:Lean1 0
sakas--/programming_in_lean
Language:TeX1 0
sakas--/rust
A safe, concurrent, practical language.
Language:Rust1 0
sakas--/SATySFi
A statically-typed, functional typesetting system
Language:OCaml1 0
sakas--/theorem_proving_in_lean
Theorem proving in Lean
Language:TeX1 0
sakas--/yi
The Haskell-Scriptable Editor
Language:Haskell1 0