Discover @jwiegley Open Source projects

John Wiegley (@jwiegley)

jwiegley

Stars
11,803
Global Rank 1,745 (Top 0.07 %)
Followers 2,459
Following 1
Registered over 16 years ago
Most used languages

Haskell
42.1 %

Emacs Lisp
21.9 %

Coq 10.5 %

Python
5.3 %

Nix
4.4 %

Shell
3.5 %

Common Lisp
2.6 %

HTML
2.6 %

C++
1.8 %

Rust
1.8 %

Others 3.6 %
Location 🇺🇸 United States
Country Total Rank 847
Country Ranking

Coq 2

Emacs Lisp
3

Haskell
35

Agda 64

Nix
90

Common Lisp
117

Shell
197

TeX
2,080

Rust
2,396

HTML
2,956

C
5,016

C#
6,247

use-package

A use-package declaration for simplifying your .emacs

git-scripts

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

emacs-async

Simple library for asynchronous processing in Emacs

git-from-the-bottom-up

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

category-theory

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

dot-emacs

My .emacs.el file and other personal Emacs goodies

alert

A Growl-like alerts notifier for Emacs

nix-config

My local Nix configuration

gitlib

coq-haskell

A library for formalizing Haskell types and functions in Coq

org-mode

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

emacs-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 history

control-theory

Control theory in Haskell: Data structures, algorithms and adapters

putting-lenses-to-work

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

nix-update-el

An Emacs command for updating fetch declarations in place

una

A universal interface to multiple unarchiving tools

use-package-examples

Example declarations to demonstrate the features of use-package

regex-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 Hess

notes

z3cat

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

emacs-release

A history of Emacs releases, under version control

newartisans

emacs-pl

bytestring-fiat

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

periods

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

c2hsc

Utility for creating .hsc files from C API header files

trade-journal

Code for keep an investment trade journal

simple-conduit

gdtoa

David M. Gay's floating-point conversion library

hours

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

thinking-with-functions

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

comparable

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

async-pool

parsec-free

pushme

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

haskell-config

My haskell-mode configuration for Emacs

categorical

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

ghc-dynamic-example

An example of dynamically loading a Haskell source module

scripts

Various and sundry shell scripts used on my system

linearscan

coq-lattice

A reflection-based proof tactic for lattices in Coq

git-all

Utility for finding all Git repositories that need attention

coq-cds4ltl

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

springboard

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

logging

ready-lisp

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

haskell-to-c

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

markdown.net

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

svndump

Library for parsing Subversion dump files from Haskell

hello

Hello world project templates for getting started quickly with Nix

software-foundations

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

remember

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 balances

sizes

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

disk-catalog

A Python script for cataloging offline media and disk archives.

erc-yank

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

hierarchy

simple-ltl

A simple compiler from LTL formulas to state machines

linearscan-hoopl

pcomplete

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

subconvert

A script to faithfully convert Subversion repositories to Git

red-black

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

stringable

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

gnus-harvest

Harvest e-mail addresses from read/written Gnus articles

start-kadena

My own Nix script for starting and testing a Kadena node

ipcvar

set-theory

pipes-async

eval-expr

Enhanced eval-expression command

planner

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

sacred-writings

A bilingual typesetting of the Hidden Words

sitebuilder

Common Hakyll builder for my websites

bcalc

refine-freer

Experiments with an extensible refinement framework

wallet

Information about staking and management ICP tokens on the Internet Computer

haskell-infra

Some files related to administration of Haskell infrastructure

firewall

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

linkdups

Intelligently hard-link duplicate files in a directory tree

haskell-c-stack

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

runmany

Run multiple commands, interleaving output and errors

johnwiegley

My personal website, at johnwiegley.com

zomega

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

rehoo

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

consistent

sshify

Script for setting up publickey authentication on new hosts

monad-base-control

A rewrite of monad-control which provides only MonadBaseControl

haskell-quantification

Presentation on quantification in Haskell for South Bay Haskell

muse

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

helm-hoogle

Use helm to navigate query results from Hoogle

org-beamer-template

A quick template from which to start new presentations

aasaan

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 API

project-euler

My solutions to Project Euler in Haskell