3 results found Sort:

jemmybutton
byrne-euclid jemmybutton
102
1.2k
gpl-3.0
56
MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
tex book byrne euclid geometry metapost
Created 2017-01-05
368 commits to master branch, last one 28 days ago
GalSim-developers
GalSim GalSim-developers
103
219
other
43
The modular galaxy image simulation toolkit. Documentation:
des lsst euclid galaxy python wfirst astronomy simulation c-plus-plus weaklensing simulate-images
Created 2012-02-22
15,399 commits to releases/2.5 branch, last one 18 days ago
GeoCoq
GeoCoq GeoCoq
26
177
lgpl-3.0
19
A formalization of geometry in Coq based on Tarski's axiom system
coq euclid pappus elements geometry desargues archimedes continuity tarski-axiom formalization hilbert-axioms parallel-postulate
Created 2015-07-15
172 commits to master branch, last one 28 days ago