Block or report user

Organizations

@ledger @lens
  • Haskell 22 4 Updated Jun 22, 2017
  • My .emacs.el file and other personal Emacs goodies

    Emacs Lisp 293 46 Updated Jun 22, 2017
  • A solver for categorical equivalences in Coq based on computational reflection

    Coq 11 1 Updated Jun 22, 2017
  • Sample code to build a C library from a Haskell module, then call it from C

    Haskell 8 Updated Jun 22, 2017
  • A formalization of category theory in Coq for personal study and practical work

    Coq 85 9 Updated Jun 21, 2017
  • Archival repository of category theory developments from many authors, mostly in Coq

    Coq Updated Jun 20, 2017
  • A reflection-based proof tactic for lattices in Coq

    Coq 6 Updated Jun 19, 2017
  • Simple library for asynchronous processing in Emacs

    Emacs Lisp 338 31 Updated Jun 19, 2017
  • A use-package declaration for simplifying your .emacs

    Emacs Lisp 1,564 127 Updated Jun 17, 2017
  • Git mirror of SvnDumpTool

    Python 14 22 Updated Jun 15, 2017
  • An implementation of the Haskell ByteString library using the Fiat system from MIT

    Coq 21 1 Updated May 31, 2017
  • Recursively show space (size and i-nodes) used in subdirectories

    Haskell 2 Updated May 31, 2017
  • A Haskell re-implementation of the Nix expression language

    Nix 136 26 Updated May 31, 2017
  • My local Nix configuration

    Nix 53 17 Updated May 31, 2017
  • A Docker image that installs a large, local Hoogle server for offline queries

    Nix 6 1 Updated May 31, 2017
  • Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work

    Haskell 13 1 Updated May 31, 2017
  • Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations

    Haskell 21 1 Updated May 31, 2017
  • magit

    Forked from magit/magit

    Magit is an interface to the version control system Git, implemented as an extension to Emacs.

    Emacs Lisp 54 465 Updated May 31, 2017
  • HTML 26 9 Updated May 30, 2017
  • An exploration into using type classes with heterogenous relations to automate type refinement in Fiat

    Coq 2 Updated May 28, 2017
  • Haskell 99 24 Updated May 12, 2017
  • 199 42 Updated May 10, 2017
  • My personal website, at johnwiegley.com

    HTML 2 1 Updated May 8, 2017
  • A Growl-like alerts notifier for Emacs

    Emacs Lisp 157 29 Updated May 4, 2017
  • A library for formalizing Haskell types and functions in Coq

    Coq 77 6 Updated Apr 24, 2017
  • A presentation for BayHac 2017 on how I uses lenses at work

    Haskell 34 1 Updated Apr 22, 2017
  • Utility for finding all Git repositories that need attention

    Haskell 11 4 Updated Apr 18, 2017
  • Haskell 3 Updated Apr 18, 2017
  • Emacs integration for the git-annex tool by Joey Hess

    Emacs Lisp 24 11 Updated Apr 18, 2017
  • hpack-convert: Convert Cabal manifests into hpack's package.yamls

    Haskell 34 Updated Apr 11, 2017