lucasvreis

org-mode-hs

Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄

organon

📖 view and generate static websites from your Org files (WIP).

multiwalk

Create traversals and queries of multiple types at once

ondim

Multitype expansions for easy templating

old-site

Note: I'm moving this site to Nanoc, which right now is a much more mature static site generator than Franklin. See the new repository!

wordiff.el

View Git word diffs in the buffer as overlays. Good for revising prose.

org-attach-extra

Useful functions for dealing with org-attach files

ix-cat

Generic instances and recursion schemes for indexed types.

xparsejax

MathJax extension providing xparse definitions

Bilhares.jl

Unorganized Julia code for simulating billiards in a hyperbolic plane or half of a sphere and doing some analysis thereof.

cgm-remote-monitor

nightscout web monitor

doom-emacs

An Emacs framework for the stubborn martian hacker

evil-tex

Some evil oriented additions to latex document editing in emacs

gnome-shell-extension-nightscout

A GNOME Shell Extension which integrates Nightscout into your panel.

lab3exp3

lab3exp5

lvar

TMVar with change notification

ma719-exercicios

mathlib4

Work in progress mathlib port for lean 4

meus-pacotes

Meus pacotes do latex.

n-ary

Experiment with n-ary Functors, Foldables, and Traversables. But don't use this. See ix-cat for a better way of doing the same thing.

nandu

a fork of ema for organon

old-site-2

Site pessoal com matemática e outras coisas

org-mode

Parser for Emacs org-mode files

org-transclusion

Emacs package to enable transclusion with Org Mode

pandoc

Universal markup converter

texlab

An implementation of the Language Server Protocol for LaTeX

TikzPictures.jl

This library allows one to create PGF/TikZ pictures and save in various formats. This fork exposes more adjustbox options.

unionmount

Union mount in Haskell, with fsnotify

yasnippet

A template system for Emacs