John Wiegley

Results 38 repositories owned by John Wiegley

emacs-pl

31
Stars
2
Forks
Watchers

emacs-release

36
Stars
31
Forks
Watchers

A history of Emacs releases, under version control

use-package

4.4k
Stars
260
Forks
Watchers

A use-package declaration for simplifying your .emacs

putting-lenses-to-work

77
Stars
6
Forks
Watchers

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

async-pool

20
Stars
13
Forks
Watchers

categorical

19
Stars
1
Forks
Watchers

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

comparable

21
Stars
2
Forks
Watchers

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

coq-cds4ltl

17
Stars
0
Forks
Watchers

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

coq-lattice

16
Stars
2
Forks
Watchers

A reflection-based proof tactic for lattices in Coq

gdtoa

26
Stars
8
Forks
Watchers

David M. Gay's floating-point conversion library