Discover jwiegley/zomega Open Source project

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

A universal interface to multiple unarchiving tools

una

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

rehoo

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

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