3 results found Sort:

jemmybutton
byrne-euclid jemmybutton
108
1.2k
gpl-3.0
55
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 5 months ago
GalSim-developers
GalSim GalSim-developers
110
236
other
41
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,485 commits to releases/2.7 branch, last one 4 days ago
GeoCoq
GeoCoq GeoCoq
26
192
lgpl-3.0
15
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
173 commits to master branch, last one about a month ago