181 Open source projects that are alternatives of or similar to org-agda-mode

Univalent mathematics in Agda

Algebraic proof discovery in Agda

An outer indentation org mode

Tools to migrate between various Personal Knowledge Management Utilities

My Emacs configuration

A Firefox Add-on (WebExtension) to copy selected web page into Org-mode formatted text!

A block-based intermediate representation for document-like content.

Extensions for research notes in Org mode

Sticky header for org-mode tables

A graphical frontend for exploring your org-roam Zettelkasten

A personal knowledge base

Go to recently used Org headings

Deciding Presburger arithmetic in agda

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

Enable partial horizontal scroll in Emacs

Gantt chart for emacs org-mode

[DEPRECATE] Convert your org-mode blog to hexo markdown file

Category theory formalized in cubical agda

Outliner, organizer and notes management app.

Language Server for Agda

A TACtic library for Agda

A monthly blog on developments with Org

An Emacs/org-mode watchlist manager and OMDb API client

My dotfiles - Emacs centric OSX Big Sur

Accessing Agda's interaction mode via command line & external tactic for Agda.

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Datatype agnostic triple store & query engine API

Create Toggl entries from Emacs org-mode CLOCK entries

Simple extension to export snippets to org-mode and vice versa

Counsel (Ivy) interface for org-clock

Functional Reactive Programming with Agda

Proof automation – for Agda, in Agda.

org-babel functions for elixir evaluation

Convert Sword modules to Org-mode outlines

SSH config export for org-mode

Google Calendar Utilities for Emacs

Python IDE for working with plots and data

org-mode literate programming zsh config

VSCode extension that brings the power of Emacs table editing

Type Theory in Type Theory using Cubical Agda

A package that shows your agenda when Emacs is idle

Convert VimWiki files to Emacs Org-Mode

An accurate Org-mode parser

A Julia library for working with Org.

Emacs-based Virtual Assistant

A minor mode for Emacs that replace keywords with nice SVG labels

Org agenda in the console

📋 Rich text clipboard for org-mode: Paste as a #+BEGIN_SRC block of correct mode, with link to where it came from

Agda language support for the Atom editor

A minimal org agenda for Emacs

Emacs Org-Mode Babel code block Racket support

📚 Manage books with Emacs 📚

I showed you my source code, pls respond

This is a test project where you can explore how github interprets Org-mode files

Org-roam backlinks within org-mode buffers

Constructive Interpretations of HoTT

apkg - package manager for Agda

just notes

Harvest org-mode todos with Dropbox, Twilio, and IFTTT.

A formalization of category theory in cubical Agda