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 40 repositories owned by John Wiegley

alert

428
Stars
65
Forks
Watchers

A Growl-like alerts notifier for Emacs

verified publisher icon jwiegley

bytestring-fiat

31
Stars
1
Forks
Watchers

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

verified publisher icon jwiegley

c2hsc

26
Stars
15
Forks
Watchers

Utility for creating .hsc files from C API header files

verified publisher icon jwiegley

category-theory

735
Stars
67
Forks
Watchers

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

verified publisher icon jwiegley

control-theory

79
Stars
4
Forks
Watchers

Control theory in Haskell: Data structures, algorithms and adapters

verified publisher icon jwiegley

coq-haskell

162
Stars
11
Forks
Watchers

A library for formalizing Haskell types and functions in Coq

verified publisher icon jwiegley

coq-pipes

100
Stars
4
Forks
Watchers

verified publisher icon jwiegley

dot-emacs

620
Stars
95
Forks
Watchers

My .emacs.el file and other personal Emacs goodies

verified publisher icon jwiegley

emacs-async

797
Stars
65
Forks
Watchers

Simple library for asynchronous processing in Emacs

verified publisher icon jwiegley

emacs-chess

122
Stars
21
Forks
Watchers

A complete chess client written in Emacs Lisp.

verified publisher icon jwiegley