Propietario · jwiegley

jwiegley

Repositorios de código abierto monitorizados de jwiegley, ordenados por estrellas.

5 repositorios

#1
git-scripts ↗@jwiegleyShell
Un conjunto de scripts aleatorios que he escrito, descargado o extraído de #git.
★ 1371+0Variación de estrellas de los últimos 7 días
#2
emacs-async ↗@jwiegleyEmacs Lisp
Biblioteca sencilla para procesamiento asíncrono en Emacs
★ 912+0Variación de estrellas de los últimos 7 días
#3
git-from-the-bottom-up ↗@jwiegleySCSS
Una introducción a la arquitectura y el diseño del gestor de contenido de Git
★ 891+0Variación de estrellas de los últimos 7 días
#4
category-theory ↗@jwiegleyRocq Prover
Formalización de la teoría de categorías sin axiomas en Coq para estudio personal y trabajo práctico
★ 808+2Variación de estrellas de los últimos 7 días
#5
dot-emacs ↗@jwiegleyEmacs Lisp
Mi archivo .emacs.el y otros recursos personales de Emacs.
★ 794+2Variación de estrellas de los últimos 7 días