Discover jwiegley/una Open Source project by John Wiegley (@jwiegley)

A bunch of random scripts I've either written, downloaded or clipped from #git.

4,399

git-scripts

Simple library for asynchronous processing in Emacs

1,322

emacs-async

An introduction to the architecture and design of the Git content manager

832

git-from-the-bottom-up

766

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

My .emacs.el file and other personal Emacs goodies

744

dot-emacs

A Growl-like alerts notifier for Emacs

606

alert

My local Nix configuration

426

nix-config

gitlib

coq-haskell

A library for formalizing Haskell types and functions in Coq

This is a very old fork of Org-mode, but it's the version I still use every day

159

org-mode

A complete chess client written in Emacs Lisp.

155

emacs-chess

coq-pipes

git-undo-el

A command for Emacs to regress or "undo" a region back through its Git history

Control theory in Haskell: Data structures, algorithms and adapters

control-theory

A presentation for BayHac 2017 on how I uses lenses at work

putting-lenses-to-work

An Emacs command for updating fetch declarations in place

nix-update-el

Example declarations to demonstrate the features of use-package

use-package-examples

regex-tool

A regular expression IDE for Emacs, to help with the creation and testing of regular expressions.

Emacs integration for the git-annex tool by Joey Hess

git-annex-el

notes

Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations

z3cat

A history of Emacs releases, under version control

emacs-release

newartisans

HTML

emacs-pl

An implementation of the Haskell ByteString library using the Fiat system from MIT

bytestring-fiat

Common Lisp library for manipulating date/time objects at a higher level

periods

Common Lisp

c2hsc

Utility for creating .hsc files from C API header files

Code for keep an investment trade journal

trade-journal

simple-conduit

David M. Gay's floating-point conversion library

gdtoa

hours

Utility for showing hours worked within a work month against a target

A brief presentation on Denotational Design, based on Conal Elliott's work

thinking-with-functions

Nix

comparable

A library for comparing data structures in Rust, oriented toward testing

Rust

async-pool

parsec-free

A script I use for synchronizing directories and ZFS pools between systems

pushme

My haskell-mode configuration for Emacs

haskell-config

Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work

categorical

An example of dynamically loading a Haskell source module

ghc-dynamic-example

Various and sundry shell scripts used on my system

scripts

linearscan

A reflection-based proof tactic for lattices in Coq

coq-lattice

Utility for finding all Git repositories that need attention

git-all

A formalization of finite, constructive log analysis using linear temporal logic

coq-cds4ltl

An Emacs mode based on Helm that makes it easy to bounce around projects

springboard

logging

A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS X

ready-lisp

Sample code to build a C library from a Haskell module, then call it from C

haskell-to-c

A Markdown and SmartyPants processor written in C# for .NET.

markdown.net

svndump

Library for parsing Subversion dump files from Haskell

Hello world project templates for getting started quickly with Nix

hello

Nix

software-foundations

Nix-enabled and fully building mirror of Software Foundations WITHOUT SOLUTIONS

HTML

remember

A mode for Emacs which makes it easy to quickly jot down information.

Stateful directory scanning in Python. Makes a great ~/.Trash cleaner.

dirscan

Python

pipes-files

monad-extras

Common Lisp library for working with commoditized amounts and balances

cambl

Common Lisp

sizes

Recursively show space (size and i-nodes) used in subdirectories

A Python script for cataloging offline media and disk archives.

disk-catalog

Python

erc-yank

Automagically create a Gist in ERC if pasting more than 5 lines

hierarchy

A simple compiler from LTL formulas to state machines

simple-ltl

linearscan-hoopl

A programmable TAB completion facility for Emacs Lisp programmers. Used by Eshell.

pcomplete

A script to faithfully convert Subversion repositories to Git

subconvert

C++

red-black

An efficient implementation of red-black trees for Common Lisp, by Jürgen Böhms Heimatseiten

Common Lisp

stringable

A Stringable type class, in the spirit of Foldable and Traversable

Harvest e-mail addresses from read/written Gnus articles

gnus-harvest

My own Nix script for starting and testing a Kadena node

start-kadena

ipcvar

set-theory

pipes-async

eval-expr

Enhanced eval-expression command

A day-planner-like planning tool for Emacs; uses Muse to publish plan pages.

planner

A bilingual typesetting of the Hidden Words

sacred-writings

TeX

sitebuilder

Common Hakyll builder for my websites

bcalc

Experiments with an extensible refinement framework

refine-freer

Information about staking and management ICP tokens on the Internet Computer

wallet

Nix

haskell-infra

firewall

A rigorous set of firewall scripts for BSD ipfw, and Linux iptables

Intelligently hard-link duplicate files in a directory tree

linkdups

Python

haskell-c-stack

Experiments to determine how the C stack relates to the Haskell FFI

Run multiple commands, interleaving output and errors

runmany

My personal website, at johnwiegley.com

johnwiegley

HTML

zomega

A computational reflection based solver for expressions involving Z (but tunable)

Utility to combine lots and lots of .hoo files in parallel

rehoo

consistent

Script for setting up publickey authentication on new hosts

sshify

A rewrite of monad-control which provides only MonadBaseControl

monad-base-control

Presentation on quantification in Haskell for South Bay Haskell

haskell-quantification

The Emacs Muse, a complete publishing environment written for Emacs.

muse

Use helm to navigate query results from Hoogle

helm-hoogle

A quick template from which to start new presentations

org-beamer-template

A library for transliterating between different representations of the Arabic alphabet.

aasaan

C++

kleisli

A tool to generate Haskell wrappers around the Z3 C API

z3-generate-api

My solutions to Project Euler in Haskell

project-euler

100

church-list