3 results found Sort:

jemmybutton
byrne-euclid jemmybutton
105
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
377 commits to master branch, last one 3 months ago
GalSim-developers
GalSim GalSim-developers
107
232
other
42
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,477 commits to releases/2.6 branch, last one a day ago
GeoCoq
GeoCoq GeoCoq
26
187
lgpl-3.0
16
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 7 months ago