Chủ sở hữu · jwiegley
jwiegley
Các kho mã nguồn mở đang theo dõi của jwiegley, sắp xếp theo số sao.
5 kho mã
- #1
Tập hợp các script ngẫu nhiên do tôi viết, tải về hoặc trích xuất từ #git.
★ 1.371+0Thay đổi số sao trong 7 ngày qua - #2
Thư viện đơn giản để xử lý bất đồng bộ trong Emacs
★ 912+0Thay đổi số sao trong 7 ngày qua - #3
Giới thiệu về kiến trúc và thiết kế của trình quản lý nội dung Git
★ 891+0Thay đổi số sao trong 7 ngày qua - #4
Hệ thống hóa lý thuyết phạm trù không tiên đề trong Coq phục vụ nghiên cứu cá nhân và công việc thực tế
★ 808+2Thay đổi số sao trong 7 ngày qua - #5★ 794+2Thay đổi số sao trong 7 ngày qua
