Github Repositories Trend

daly/axiom

Axiom is a free, open source computer algebra system
Homepage
http://axiom.axiom-developer.org
Total stars
176
Stars per day
0
Created at
11 years ago
Related Repositories
Foundations
Development of the univalent foundations of mathematics in Coq
chicago-ug-math-bib
Chicago undergraduate mathematics bibliography
notation
Collection of quotes on interesting notations & how they affect thought.
rust-prehistory
historical archive of rust pre-publication development
reviews
Writing reviews of academic papers
Best-practices-for-conservation-of-media-art
Best practices for conservation of media art from an artist’s perspective
Prince-of-Persia-Apple-II
A running-jumping-swordfighting game I made on the Apple II from 1985-89
CHMLib
Library for reading Microsoft ITSS/CHM format files.
token-priv
Token Privilege Research
Journler
The Journler open source project


vladimirias/Foundations

Development of the univalent foundations of mathematics in Coq
Homepage
http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html
Total stars
201
Related Repositories
Link

ystael/chicago-ug-math-bib

Chicago undergraduate mathematics bibliography
Total stars
467
Language
HTML
Related Repositories
Link

hypotext/notation

Collection of quotes on interesting notations & how they affect thought.
Total stars
1,316
Related Repositories
Link

graydon/rust-prehistory

historical archive of rust pre-publication development
Total stars
176
Language
C
Related Repositories
Link

jtleek/reviews

Writing reviews of academic papers
Total stars
328
Related Repositories
Link

antimodular/Best-practices-for-conservation-of-media-art

Best practices for conservation of media art from an artist’s perspective
Total stars
232
Related Repositories
Link

jmechner/Prince-of-Persia-Apple-II

A running-jumping-swordfighting game I made on the Apple II from 1985-89
Homepage
http://jordanmechner.com/ebook
Total stars
5,014
Related Repositories
Link

jedwing/CHMLib

Library for reading Microsoft ITSS/CHM format files.
Homepage
http://morte.jedrea.com/~jedwin/projects/chmlib/
Total stars
157
Language
C
Related Repositories
Link

hatRiot/token-priv

Token Privilege Research
Total stars
393
Language
C++
Related Repositories
Link

phildow/Journler

The Journler open source project
Homepage
http://getsprouted.com/applications/journler/
Total stars
110
Language
Objective-C
Related Repositories
Link