Repositories

jwiegley Repositories

3 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
jwiegley/category-theoryRocq Prover

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

Letzter Commit 19. Mai 2026

 (801 Stars) (80 Forks) (0 indexierte Issues) (0 offene good first issues)
jwiegley/monad-extrasHaskell

Letzter Commit 1. Aug. 2018

 (9 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
jwiegley/use-packageEmacs Lisp

A use-package declaration for simplifying your .emacs

Letzter Commit 23. Aug. 2025

 (4.468 Stars) (263 Forks) (0 indexierte Issues) (0 offene good first issues)