CqlCategorical Query Language IDE
Stars: ✭ 196 (+122.73%)
ArrowΛrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+5321.59%)
VerbOrganize and send HTTP requests from Emacs
Stars: ✭ 205 (+132.95%)
ImtoolsFast and memory-efficient immutable collections and helper data structures
Stars: ✭ 85 (-3.41%)
Org WikiWiki for Emacs org-mode built on top of Emacs org-mode.
Stars: ✭ 319 (+262.5%)
Scala typeclassopediaAbstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
Stars: ✭ 338 (+284.09%)
Emagicians Starter Kit🐰 My own take on an Emacs Starter Kit, with Secret Alien Org Mode Superpowers. -|-+-|-
Stars: ✭ 85 (-3.41%)
Go OrgOrg mode parser with html & pretty printed org rendering. also shitty static site generator.
Stars: ✭ 177 (+101.14%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+10169.32%)
Org BooksReading list management with org mode
Stars: ✭ 186 (+111.36%)
Ob AsyncAsynchronous src_block execution for org-babel
Stars: ✭ 249 (+182.95%)
DoctDOCT: Declarative Org Capture Templates for Emacs
Stars: ✭ 210 (+138.64%)
ZetteldeftA Zettelkasten system! Or rather, some functions on top of the emacs deft package.
Stars: ✭ 284 (+222.73%)
Org Roam ServerA Web Application to Visualize the Org-Roam Database
Stars: ✭ 443 (+403.41%)
Mu4e DashboardA dashboard for mu4e (mu for emacs)
Stars: ✭ 259 (+194.32%)
MemacsWhat did I do on February 14th 2007? Visualize your (digital) life in Org-mode
Stars: ✭ 711 (+707.95%)
Org QlAn Org-mode query language, including search commands and saved views
Stars: ✭ 721 (+719.32%)
Org ZettelkastenAn opinionated setup for managing large collections of interlinked org files.
Stars: ✭ 77 (-12.5%)
Org Super AgendaSupercharge your Org daily/weekly agenda by grouping items
Stars: ✭ 829 (+842.05%)
.dot Org FilesDotfiles, Emacs + Org-mode with babel and Literate programming.
Stars: ✭ 57 (-35.23%)
Vscode Org ModeEmacs Org Mode for Visual Studio Code
Stars: ✭ 1,096 (+1145.45%)
OrgroAn org-mode file viewer for iOS and Android
Stars: ✭ 175 (+98.86%)
DmacsEmacs Literate Configuration with borg
Stars: ✭ 74 (-15.91%)
Org PdftoolsA custom org link type for pdf-tools
Stars: ✭ 165 (+87.5%)
Toc Orgtoc-org is an Emacs utility to have an up-to-date table of contents in the org files without exporting (useful primarily for readme files on GitHub)
Stars: ✭ 202 (+129.55%)
Evil Org ModeSupplemental evil-mode keybindings to emacs org-mode
Stars: ✭ 241 (+173.86%)
Functional ExamplesExamples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (+103.41%)
Org MsgOrgMsg is a GNU/Emacs global minor mode mixing up Org mode and Message mode to compose and reply to emails in a Outlook HTML friendly style.
Stars: ✭ 153 (+73.86%)
Zio PreludeA lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267 (+203.41%)
Org Transclusion(alpha) Emacs package to enable transclusion with Org Mode
Stars: ✭ 251 (+185.23%)
.emacs.d🎉 Personal GNU Emacs configuration
Stars: ✭ 313 (+255.68%)
Org ProjectileManage org-mode TODOs for your projectile projects
Stars: ✭ 259 (+194.32%)
Fp ResourcesFunctional programming great resources
Stars: ✭ 369 (+319.32%)
Org SidebarA helpful sidebar for Org mode
Stars: ✭ 354 (+302.27%)
Anki EditorEmacs minor mode for making Anki cards with Org
Stars: ✭ 453 (+414.77%)
WritingwithemacsTips, Examples, and Resources for Writing with Emacs
Stars: ✭ 150 (+70.45%)
Org NoterEmacs document annotator, using Org-mode
Stars: ✭ 671 (+662.5%)
Ox HugoA carefully crafted Org exporter back-end for Hugo
Stars: ✭ 591 (+571.59%)
Fp Core.rsA library for functional programming in Rust
Stars: ✭ 772 (+777.27%)
Bow🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (+511.36%)
Org Treescope.elProvides a time and priority based sparse tree interaction mode
Stars: ✭ 25 (-71.59%)
OrganicOutliner, organizer and notes management app.
Stars: ✭ 34 (-61.36%)
PltλΠ Programming Language Theory
Stars: ✭ 4,609 (+5137.5%)
Emacs Documenttranslate emacs documents to Chinese for convenient reference
Stars: ✭ 1,085 (+1132.95%)
Org TflTransport for London meets Emacs Orgmode
Stars: ✭ 55 (-37.5%)
Org Weborg-mode on the web, built with React, optimized for mobile, synced with Dropbox and Google Drive
Stars: ✭ 1,133 (+1187.5%)
Org Make TocAutomatic tables of contents for Org files
Stars: ✭ 53 (-39.77%)
Org Graph ViewView Org buffers as a clickable, graphical mind-map
Stars: ✭ 141 (+60.23%)
Org FragtogAutomatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
Stars: ✭ 149 (+69.32%)
Org EvilEvil extensions for Org-mode.
Stars: ✭ 51 (-42.05%)
Org KanbanSimple approach to kanban with emacs' org-mode
Stars: ✭ 74 (-15.91%)