jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Pinned Repositories
alert
A Growl-like alerts notifier for Emacs
category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
coq-haskell
A library for formalizing Haskell types and functions in Coq
dot-emacs
My .emacs.el file and other personal Emacs goodies
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
git-scripts
A bunch of random scripts I've either written, downloaded or clipped from #git.
gitlib
nix-config
My local Nix configuration
use-package
A use-package declaration for simplifying your .emacs
jwiegley's Repositories
jwiegley/emacs-async
Simple library for asynchronous processing in Emacs
jwiegley/git-from-the-bottom-up
An introduction to the architecture and design of the Git content manager
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
jwiegley/dot-emacs
My .emacs.el file and other personal Emacs goodies
jwiegley/alert
A Growl-like alerts notifier for Emacs
jwiegley/nix-config
My local Nix configuration
jwiegley/notes
jwiegley/trade-journal
Code for keep an investment trade journal
jwiegley/hours
Utility for showing hours worked within a work month against a target
jwiegley/comparable
A library for comparing data structures in Rust, oriented toward testing
jwiegley/pushme
A script I use for synchronizing directories and ZFS pools between systems
jwiegley/coq-cds4ltl
A formalization of finite, constructive log analysis using linear temporal logic
jwiegley/scripts
Various and sundry shell scripts used on my system
jwiegley/org-jw
A tool for working with Org-mode data from command-line, tuned to my own use cases
jwiegley/sizes
Recursively show space (size and i-nodes) used in subdirectories
jwiegley/start-kadena
My own Nix script for starting and testing a Kadena node
jwiegley/home-manager
Manage a user environment using Nix
jwiegley/sacred-writings
A bilingual typesetting of the Hidden Words
jwiegley/nix-darwin
nix modules for darwin
jwiegley/sitebuilder
Common Hakyll builder for my websites
jwiegley/nixpkgs
A mirror of the Nix Packages collection; this represents my "last known good" state
jwiegley/simple-amount
Fractional numbers in Haskell, represented as infinite precision rationals
jwiegley/tinderbox
Haskell implementation of an "action code" scripting language for agents based on Tinderbox
jwiegley/c2g-schedule
A group scheduling solver for Copper to Gold
jwiegley/hackage-root-keys
jwiegley/renamer
Haskell implementation of a photo file renamer
jwiegley/three-partition
A 3-partition solver using SBV and optimization
jwiegley/hakyll
A static website compiler library in Haskell
jwiegley/lurk-hs
Haskell Wrappers for Lurk (contact: @huitseeker)
jwiegley/test-lurk-hs