kennyballou

kennyballou's Stars

• SqrtMinusOne/eshell-atuin

  eshell ❤️ atuin

  Language:Emacs Lisp133

• atuinsh/atuin

  ✨ Magical shell history

  Language:Rust18.2k505

• joaomlourenco/novathesis

  A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users.

  Language:TeX708115

• ahrm/sioyek

  Sioyek is a PDF viewer with a focus on textbooks and research papers

  Language:C6.7k213

• kickingvegas/casual-dired

  Casual Dired - An opinionated porcelain for Emacs file manager Dired.

  Language:Emacs Lisp882

• chainsawriot/orgdungeon

  Language:Emacs Lisp132

• jkitchin/org-ref

  org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

  Language:Emacs Lisp1.3k243

• astoff/devdocs.el

  Emacs viewer for DevDocs

  Language:Emacs Lisp27416

• coq-community/fourcolor

  Formal proof of the Four Color Theorem [maintainer=@ybertot]

  Language:Coq15119

• ahmed-shariff/org-roam-ql

  Query language for org-roam

  Language:Emacs Lisp775

• lisa-analyzer/lisa

  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

  Language:Java4132

• LukasPietzschmann/awesome-beamer

  Kinda awesome beamer theme

  Language:TeX9710

• binkley/modern-java-practices

  Modern Java/JVM Build Practices

  Language:Shell91269

• ichernyshovvv/org-timeblock

  Schedule your day visually, using timeblocking technique inside Emacs

  Language:Emacs Lisp23816

• coq/coq

  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 development of machine-checked proofs.

  Language:OCaml4.7k632

• emacs-helm/helm

  Emacs incremental completion and selection narrowing framework

  Language:Emacs Lisp3.3k391

• emacs-tree-sitter/tree-sitter-langs

  Language bundle for Emacs's tree-sitter package

  Language:Emacs Lisp232129

• atomvm/AtomVM

  Tiny Erlang VM

  Language:C1.4k93

• BIMSBbioinfo/swineherd

  Let the Shepherd herd Guix System containers

  Language:TeX18

• yveszoundi/eglot-java

  Java extension for the eglot LSP client

  Language:Emacs Lisp5211

• yantar92/org-capture-ref

  Extract metadata/bibtex info from websites for org-capture

  Language:Emacs Lisp644

• drduh/YubiKey-Guide

  Guide to using YubiKey for GnuPG and SSH

  Language:HTML10.8k1.1k

• seahorn/crab

  A library for building abstract interpretation-based analyses

  Language:C++22332

• axelmagn/pea-soup

  A Process Supervisor

  Language:Rust1

• martinbjeldbak/ultimate-beamer-theme-list

  A collection of Beamer themes from the community

  1.2k110

• jobbflykt/x509-mode

  View certificates and CRLs using OpenSSL in Emacs

  Language:Emacs Lisp254

• Kodkollektivet/emacs-nm

  NetworkManager integration in Emacs

  Language:Emacs Lisp172

• arunisaac/ccwl

  Concise Common Workflow Language

  Language:Scheme232

• common-workflow-language/cwltool

  Common Workflow Language reference implementation

  Language:Python322224

• ArchiveBox/ArchiveBox

  🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...

  Language:Python20.1k1.1k