Proprietário · jwiegley

jwiegley

Repositórios de código aberto acompanhados de jwiegley, ordenados por estrelas.

5 repositórios

#1
git-scripts ↗@jwiegleyShell
Um conjunto de scripts aleatórios que escrevi, baixei ou recortei do #git.
★ 1.371+0Variação de estrelas nos últimos 7 dias
#2
emacs-async ↗@jwiegleyEmacs Lisp
Biblioteca simples para processamento assíncrono no Emacs
★ 912+0Variação de estrelas nos últimos 7 dias
#3
git-from-the-bottom-up ↗@jwiegleySCSS
Uma introdução à arquitetura e ao design do gerenciador de conteúdo do Git.
★ 891+0Variação de estrelas nos últimos 7 dias
#4
category-theory ↗@jwiegleyRocq Prover
Uma formalização da teoria das categorias sem axiomas em Coq para estudo pessoal e trabalho prático
★ 808+2Variação de estrelas nos últimos 7 dias
#5
dot-emacs ↗@jwiegleyEmacs Lisp
Meu arquivo .emacs.el e outros recursos pessoais do Emacs
★ 794+2Variação de estrelas nos últimos 7 dias