3 results found Sort:

jemmybutton
byrne-euclid jemmybutton
106
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 about a month ago
GalSim-developers
GalSim GalSim-developers
107
228
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,461 commits to releases/2.6 branch, last one about a month ago
GeoCoq
GeoCoq GeoCoq
26
186
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 6 months ago