sakas--

sakas--'s Stars

• syl20bnr/spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.8k4818.6k4.9k

• ranger/ranger

  A VIM-inspired filemanager for the console

  Language:Python15.8k1562.1k896

• astrada/google-drive-ocamlfuse

  FUSE filesystem over Google Drive

  Language:OCaml5.6k145868356

• octobox/octobox

  📮 Untangle your GitHub Notifications

  Language:Ruby4.4k68623346

• linux-noah/noah

  Bash on Ubuntu on macOS

  Language:C1.9k437290

• gfngfn/SATySFi

  A statically-typed, functional typesetting system

  Language:OCaml1.2k5316785

• OpenLogicProject/OpenLogic

  An open-source, customizable intermediate logic textbook

  Language:TeX1.1k98170248

• akabe/ocaml-jupyter

  An OCaml kernel for Jupyter (IPython) notebook

  Language:OCaml294148144

• hopv/hoice

  An ICE-based predicate synthesizer for Horn clauses.

  Language:Rust4952411

• leanprover/tutorial

  Lean Tutorials

  Language:TeX44810046

• hopv/MoCHi

  MoCHi: Model Checker for Higher-Order Programs

  Language:OCaml41525

• gfngfn/cs-thesis

  A SATySFi class file for writing CS master theses at The University of Tokyo

  Language:Makefile29402

• hanazuki/satysfi.el

  Emacs major mode for editing SATySFi documents

  Language:Emacs Lisp10500

• consequently/flowgraphs

  Code and examples for typesetting

  Language:TeX8201