Visualizing the Stanford Encyclopedia of Philosophy
☆22Oct 24, 2017Updated 8 years ago
Alternatives and similar repositories for explore-sep
Users that are interested in explore-sep are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 12 years ago
- [Legacy Firefox] Copy Link, Image and Table in Page as Org-mode Format!☆28Sep 28, 2021Updated 4 years ago
- Emacs package to create and fetch Github pull requests☆14Jan 19, 2017Updated 9 years ago
- forked version of sdcv.el or sdcv-mode.el☆13Jan 28, 2012Updated 14 years ago
- Elements of Deductive Logic, an open-source intermediate logic textbook☆14Jan 8, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LorikeeM MUMPS Developer Tools for GNU Emacs☆14Feb 17, 2018Updated 8 years ago
- Emacs minor mode for handling CriticMarkup.☆59May 18, 2026Updated 2 months ago
- A mdbook preprocessor that allows the re-usability of template files with dynamic arguments☆14Apr 8, 2024Updated 2 years ago
- Attempt to bring some of Scimax' functionality to Spacemacs☆13Oct 21, 2019Updated 6 years ago
- ZSHPower is a theme for the ZSH shell with support for Oh My ZSH.☆14Jul 10, 2026Updated last month
- Experiment about a semantic-based diff tool for Java language.☆12Mar 28, 2015Updated 11 years ago
- Templates for pandoc☆62Sep 1, 2016Updated 9 years ago
- An org-mode compatible stylesheet☆12Nov 9, 2018Updated 7 years ago
- Git for Philosophers☆35Aug 1, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.☆20Apr 30, 2017Updated 9 years ago
- kernel module to use rotary encoder as a volume control☆13Jul 22, 2019Updated 7 years ago
- Blocks is a plugin for mdbook which preprocesses "Blocks" based markdown into beautiful Bootstrap components.☆11Jun 15, 2024Updated 2 years ago
- Arabic vocalized text corpus☆14Jan 2, 2015Updated 11 years ago
- Awki is a lightweight wiki written in awk. These are my patches, original here: http://awkiawki.bogosoft.com/☆28Dec 1, 2023Updated 2 years ago
- The Tractatus Logico-Philosophicus, in org-mode.☆15Mar 7, 2021Updated 5 years ago
- An Helm front-end for Lobste.rs☆19Aug 20, 2023Updated 2 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated last year
- ☆10Feb 22, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Hooks for edit-server.el to handle gratuitously HTMLified text entry boxes such as recent versions of GMail.☆17Jul 17, 2020Updated 6 years ago
- Stack-safe recursion schemes on dissectible data structures.☆13May 6, 2022Updated 4 years ago
- PureScript + D3 examples☆13Oct 11, 2016Updated 9 years ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- ☆10Feb 18, 2016Updated 10 years ago
- Query YouTube in emacs and play videos in your browser☆28Jan 1, 2019Updated 7 years ago
- Emacs mode for LilyPond editing☆71Mar 15, 2017Updated 9 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Pure Data vanilla patches☆12Dec 12, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Conjugates MSA verbs given three root letters, verb form, tense, and pronoun☆17Jun 10, 2015Updated 11 years ago
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 6 years ago
- simple gemini browser for reMarkable☆14Mar 10, 2021Updated 5 years ago
- Kiwi monitor is an open source CO2/Humidity/Temperature sensor intended for monitoring the quality of the air in a room. Kiwi was created…☆10Jul 2, 2026Updated last month
- Talk on generic parallel scan☆14May 12, 2017Updated 9 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 9 years ago