There are no reviews yet. Be the first to send feedback to the community and the maintainers!
The is a distribution of Org, a plain text notes and project planning tool for Emacs. The homepage of Org is at: http://orgmode.org The installations instructions are at: http://orgmode.org/org.html#Installation This distribution contains: README This file. COPYING The GNU General Public License. Makefile The makefile to compile and install Org. For installation instructions, see the manual or the more detailed procedure on Worg: http://orgmode.org/worg/dev/org-build-system.html mk/ Files needed for building Org. lisp/ Directory with all the Emacs Lisp files that make up Org. doc/ The documentation files. org.texi is the source of the documentation, org.html and org.pdf are formatted versions of it. contrib/ A directory with third-party additions for Org. Some really cool stuff is in there. etc/ Files needed for the ODT exporter. testing/ Testing suite for Org. request-assign-future.txt The form that contributors have to sign and get processed with the FSF before contributed changes can be integrated into the Org core. All files in this distribution except the contrib/ directory have copyright assigned to the FSF.
use-package
A use-package declaration for simplifying your .emacsgit-scripts
A bunch of random scripts I've either written, downloaded or clipped from #git.emacs-async
Simple library for asynchronous processing in Emacsgit-from-the-bottom-up
An introduction to the architecture and design of the Git content managercategory-theory
An axiom-free formalization of category theory in Coq for personal study and practical workdot-emacs
My .emacs.el file and other personal Emacs goodiesalert
A Growl-like alerts notifier for Emacsnix-config
My local Nix configurationgitlib
coq-haskell
A library for formalizing Haskell types and functions in Coqemacs-chess
A complete chess client written in Emacs Lisp.coq-pipes
git-undo-el
A command for Emacs to regress or "undo" a region back through its Git historycontrol-theory
Control theory in Haskell: Data structures, algorithms and adaptersputting-lenses-to-work
A presentation for BayHac 2017 on how I uses lenses at worknix-update-el
An Emacs command for updating fetch declarations in placeuna
A universal interface to multiple unarchiving toolsuse-package-examples
Example declarations to demonstrate the features of use-packageregex-tool
A regular expression IDE for Emacs, to help with the creation and testing of regular expressions.git-annex-el
Emacs integration for the git-annex tool by Joey Hessnotes
z3cat
Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equationsemacs-release
A history of Emacs releases, under version controlnewartisans
emacs-pl
bytestring-fiat
An implementation of the Haskell ByteString library using the Fiat system from MITperiods
Common Lisp library for manipulating date/time objects at a higher levelc2hsc
Utility for creating .hsc files from C API header filestrade-journal
Code for keep an investment trade journalsimple-conduit
gdtoa
David M. Gay's floating-point conversion libraryhours
Utility for showing hours worked within a work month against a targetthinking-with-functions
A brief presentation on Denotational Design, based on Conal Elliott's workcomparable
A library for comparing data structures in Rust, oriented toward testingasync-pool
parsec-free
pushme
A script I use for synchronizing directories and ZFS pools between systemshaskell-config
My haskell-mode configuration for Emacscategorical
Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's workghc-dynamic-example
An example of dynamically loading a Haskell source modulescripts
Various and sundry shell scripts used on my systemlinearscan
coq-lattice
A reflection-based proof tactic for lattices in Coqgit-all
Utility for finding all Git repositories that need attentioncoq-cds4ltl
A formalization of finite, constructive log analysis using linear temporal logicspringboard
An Emacs mode based on Helm that makes it easy to bounce around projectslogging
ready-lisp
A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS Xhaskell-to-c
Sample code to build a C library from a Haskell module, then call it from Cmarkdown.net
A Markdown and SmartyPants processor written in C# for .NET.svndump
Library for parsing Subversion dump files from Haskellhello
Hello world project templates for getting started quickly with Nixsoftware-foundations
Nix-enabled and fully building mirror of Software Foundations WITHOUT SOLUTIONSremember
A mode for Emacs which makes it easy to quickly jot down information.dirscan
Stateful directory scanning in Python. Makes a great ~/.Trash cleaner.pipes-files
monad-extras
cambl
Common Lisp library for working with commoditized amounts and balancessizes
Recursively show space (size and i-nodes) used in subdirectoriesdisk-catalog
A Python script for cataloging offline media and disk archives.erc-yank
Automagically create a Gist in ERC if pasting more than 5 lineshierarchy
simple-ltl
A simple compiler from LTL formulas to state machineslinearscan-hoopl
pcomplete
A programmable TAB completion facility for Emacs Lisp programmers. Used by Eshell.subconvert
A script to faithfully convert Subversion repositories to Gitred-black
An efficient implementation of red-black trees for Common Lisp, by Jürgen Böhms Heimatseitenstringable
A Stringable type class, in the spirit of Foldable and Traversablegnus-harvest
Harvest e-mail addresses from read/written Gnus articlesstart-kadena
My own Nix script for starting and testing a Kadena nodeipcvar
set-theory
pipes-async
eval-expr
Enhanced eval-expression commandplanner
A day-planner-like planning tool for Emacs; uses Muse to publish plan pages.sacred-writings
A bilingual typesetting of the Hidden Wordssitebuilder
Common Hakyll builder for my websitesbcalc
refine-freer
Experiments with an extensible refinement frameworkwallet
Information about staking and management ICP tokens on the Internet Computerhaskell-infra
Some files related to administration of Haskell infrastructurefirewall
A rigorous set of firewall scripts for BSD ipfw, and Linux iptableslinkdups
Intelligently hard-link duplicate files in a directory treehaskell-c-stack
Experiments to determine how the C stack relates to the Haskell FFIrunmany
Run multiple commands, interleaving output and errorsjohnwiegley
My personal website, at johnwiegley.comzomega
A computational reflection based solver for expressions involving Z (but tunable)rehoo
Utility to combine lots and lots of .hoo files in parallelconsistent
sshify
Script for setting up publickey authentication on new hostsmonad-base-control
A rewrite of monad-control which provides only MonadBaseControlhaskell-quantification
Presentation on quantification in Haskell for South Bay Haskellmuse
The Emacs Muse, a complete publishing environment written for Emacs.helm-hoogle
Use helm to navigate query results from Hoogleorg-beamer-template
A quick template from which to start new presentationsaasaan
A library for transliterating between different representations of the Arabic alphabet.kleisli
z3-generate-api
A tool to generate Haskell wrappers around the Z3 C APIproject-euler
My solutions to Project Euler in Haskellchurch-list
Love Open Source and this site? Check out how you can help us