Dépôts

Dépôts de jwiegley

3 dépôts pris en charge

Afficher les dépôts avec des issues indexées
jwiegley/category-theoryRocq Prover

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

Dernier commit 19 mai 2026

 (801 stars) (80 forks) (0 issues indexées) (0 good first issues ouvertes)
jwiegley/monad-extrasHaskell

Dernier commit 1 août 2018

 (9 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
jwiegley/use-packageEmacs Lisp

A use-package declaration for simplifying your .emacs

Dernier commit 23 août 2025

 (4 468 stars) (263 forks) (0 issues indexées) (0 good first issues ouvertes)