org-agda-mode
dotfiles
org-agda-mode | dotfiles | |
---|---|---|
1 | 1 | |
16 | 11 | |
- | - | |
0.0 | 9.5 | |
over 2 years ago | about 3 years ago | |
Emacs Lisp | Emacs Lisp | |
- | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
org-agda-mode
dotfiles
-
How do you backup your org directory?
Checked in to git, all of my notes are encrypted https://github.com/chayward1/dotfiles
What are some alternatives?
ob-p5js - An org-babel plugin for p5js
emacs.d - My Emacs configuration (2018-2021)
ob-solidity - An org-babel extension for Solidity
emacs-config - A literate emacs configuration for C#, python, ivy, yasnippet, ...
.emacs.d - 🌺 [ Dream Emacs 💜 ] My GNU🐮 Emacs configuration.
dmacs - Emacs Literate Configuration with borg
qwerty-everywhere - Qwerty consistent hebrew, arabic, phoenician and russian keymaps
syncthing-android - Wrapper of syncthing for Android.
yodel - Communicable Elisp
exwm-config - A collection of dotfiles that code for my computational environment, built around emacs with exwm. Designed with FreeBSD and Arch Linux in mind.
BorgBackup - Deduplicating archiver with compression and authenticated encryption.
ob-ess-julia - A lightweight Julia support for org mode using Emacs Speaks Statistics