-
-
-
-
-
-
-
-
poporg Public
Forked from QBobWatson/poporgEmacs programming tool for editing strings or comments in Org mode or any other text mode
Emacs Lisp GNU General Public License v3.0 UpdatedAug 24, 2023 -
depgraph Public
Forked from holdenlee/depgraphDraw dependency graphs for math theorems
-
-
lftcm2020 Public
Forked from leanprover-community/lftcm2020Lean for the Curious Mathematician 2020
Lean UpdatedJul 13, 2020 -
msi-exam-template Public
Forked from stoiver/msi-exam-templateA LaTeX class for examinations at the Mathematical Sciences Institute at the Australian National University.
TeX UpdatedJul 10, 2020 -
maildir indexer/searcher + emacs mail client + guile bindings
C GNU General Public License v3.0 UpdatedJun 27, 2020 -
org-chef Public
Forked from Chobbes/org-chefA package for making a cookbook and managing recipes with org-mode.
Emacs Lisp MIT License UpdatedApr 15, 2020 -
-
bibretrieve Public
Forked from pzorin/bibretrieveBibRetrieve: An Emacs library for searching and downloading BibTeX entries from the web.
-
-
training-kit Public
Forked from github/training-kitOpen source cheat sheets for Git and GitHub
HTML Creative Commons Attribution 4.0 International UpdatedSep 16, 2019 -
emacs Public
Forked from emacs-mirror/emacsMirror of GNU Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedSep 6, 2019 -
-
OpenTTD-patches Public
Forked from JGRennison/OpenTTD-patchesOpenTTD - http://www.openttd.org/ - with additional patches
C++ Other UpdatedApr 27, 2019 -
ssgrt2018 Public
Forked from pages-themes/minimalMinimal is a Jekyll theme for GitHub Pages
CSS Creative Commons Zero v1.0 Universal UpdatedSep 28, 2018 -
zsh-git-prompt Public
Forked from olivierverdier/zsh-git-promptInformative git prompt for zsh
Python MIT License UpdatedJul 25, 2018 -
git-summary Public
Forked from MirkoLedda/git-summarySummarizes multiple git repository status within a directory.
Shell MIT License UpdatedJan 14, 2018 -
-
-
Precalculus Public
Forked from KellyBlack/PrecalculusMaterials to be used in a precalculus class. Includes activities for students.
TeX GNU General Public License v3.0 UpdatedJul 17, 2017 -
ssgrt Public
Forked from andrewbanchich/forty-jekyll-themeA Jekyll version of the "Forty" theme by HTML5 UP.
CSS Other UpdatedMay 10, 2017 -
Jekyll-Art-Gallery-Plugin Public
Forked from alexivkin/Jekyll-Art-Gallery-PluginArt/Photo Gallery plugin for Jekyll
Ruby UpdatedJan 6, 2017 -
zsh-syntax-highlighting Public
Forked from zsh-users/zsh-syntax-highlightingFish shell like syntax highlighting for Zsh.
Shell BSD 3-Clause "New" or "Revised" License UpdatedDec 2, 2016
{{ message }}