John Wiegley

icon indicating a website link http://www.newartisans.com icon indicating an email [email protected]

icon company @kadena-io icon location California, USA icon location Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

Results 38 repositories owned by John Wiegley

emacs-pl

31
Stars
2
Forks
Watchers

verified publisher icon jwiegley

emacs-release

36
Stars
31
Forks
Watchers

A history of Emacs releases, under version control

verified publisher icon jwiegley

use-package

4.4k
Stars
260
Forks
Watchers

A use-package declaration for simplifying your .emacs

verified publisher icon jwiegley

putting-lenses-to-work

77
Stars
6
Forks
Watchers

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

verified publisher icon jwiegley

async-pool

20
Stars
13
Forks
Watchers

verified publisher icon jwiegley

categorical

19
Stars
1
Forks
Watchers

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

verified publisher icon jwiegley

comparable

21
Stars
2
Forks
Watchers

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

verified publisher icon jwiegley

coq-cds4ltl

17
Stars
0
Forks
Watchers

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

verified publisher icon jwiegley

coq-lattice

16
Stars
2
Forks
Watchers

A reflection-based proof tactic for lattices in Coq

verified publisher icon jwiegley

gdtoa

26
Stars
8
Forks
Watchers

David M. Gay's floating-point conversion library

verified publisher icon jwiegley