040000 tree c98fc432667cc9737250badcc7fa6b029a3f4c60	4ti2
040000 tree 411197aa61ad4f8ba39f9c98066004463a5196c9	Macaulay2
040000 tree 45c522b974779667ee93b9fcdf6b9b48c1218923	agda-executable
040000 tree 741bc083e0eb5c005f4ea7bd5e6c1e4c4b47109d	agda-lib-ffi
040000 tree 7719784168b44e7c68a7407cd8336726dd5f0e88	agda-stdlib
040000 tree 35cc9883d995f1b2241fe3be27663a0d627bd2e2	agda
040000 tree 836345f3cf2fc890c4d29958490ba6c6519477e7	axiom
040000 tree f019a98b482b1bdb3a03b2102294e731173fd3f6	bertini
040000 tree 16a62f3375c7b64e4183b1b8d98c004e75a69b96	cado-nfs
040000 tree bfdbec0b4f44bc980170f704442cc7210a0849e2	calc
040000 tree 4ef279b654bcd2ba3b6cf641fe5f90ab559c5cae	cgal
040000 tree a4b4cf154bea5ce5cb71b13dc26020ab8fe9be7b	coq
040000 tree b38b423145a31c214fd9081480889951a75cb108	cvc3
040000 tree 17577b8f805737ff04a3b5e063c3872282f7cf85	dataplot
040000 tree 41dba1990b9048565748879f72680866c09504a3	diagrtb
040000 tree f06208047eb93b27fa538b4eea52d34b91fc20b8	drgeo
040000 tree faa2625249e71ee90a3dfbcc03f7f09b3496d15e	e
040000 tree 076679668fa8aec5b47abe68153c40242e76e50a	ent
040000 tree 9922cafc2cdb9da87d0787003905a34fc0ab173b	euler
040000 tree 12cd88cb44e06cf6fca2b5194ac2f7d3f080741e	factmsieve
040000 tree 602823582a0dc2f6a4c331140702c34434df6240	fann
040000 tree a22bbdd53288fdde052a26a0a3a59e1db4e8a8d4	flint
040000 tree 56c73f851061f0d2d9fcb968a5708e31552eaf6c	form
040000 tree 93596416d5e56e1abab1229df1e3e3f1d2f8337b	freemat
040000 tree 4841ccc3be4d1bbe507646f59bff09198349b2ed	fricas
040000 tree 4da2ade7e32f6328a91042b92fe8fc234b8830de	frobby
040000 tree f902c52476316bcef91610ad4b7f23aa102572eb	genius
040000 tree 6ff542b035f6086a925f7c7f330fc4017ecb1295	geogebra
040000 tree 65b7eed533ad0e49156c643a5b7f311ca7e55833	geomview
040000 tree b8cc5c1d8be517c92c880eb8a973ac2986d1a589	gfan
040000 tree 5132be27a625eb2336503291eb3d7010dafd3a96	ggnfs
040000 tree 02f2bbfa4735a4436d57e41b1e52aaed521552d5	gimps
040000 tree f7cd0189c477315cf70703c8771321458cc63d6b	ginac
040000 tree 5848559351a2de44fdfcbe3245757d707e622a43	glpk
040000 tree 40d00879d0fd528ed1bf99a283ded8105223b619	gmm
040000 tree f42e4e2b4e86008bc3cf7c94318d4b1efa53a3e4	gmp-ecm
040000 tree 5dee3d94c5bd00de932cdb5ab12044e2c01afc88	gretl
040000 tree e6c6d7d0a88699d2be6d2b2c6747f63ac629a754	gsl-shell
040000 tree 0fe8af593e3c10216df471956bed20ca06b928ed	gwnum
040000 tree d7f3077d3ba03acdea5796dc5512079a57ce94b9	isabelle
040000 tree 5ab6590f49af2ddf294041bb7cd14460db464650	jags
040000 tree 458356119a51f50a708f4dfbc2eb4b8dc29f5466	kodkod
040000 tree b059b1ac6bce6e381767dff533bddbe82eadfac6	kodkodi
040000 tree eda65d6bc9e3b53f6339bfbcfcb2bd2e48935b58	lpsolve
040000 tree 14e9a126078a5a4f5eb6ee5e87a535f7c46b1d70	lybniz
040000 tree 700567efbbede7315e0363ee393b609aba9731d5	mathomatic
040000 tree ba96402907684593fe0a4d1ff9128ce3e9857fa5	maxima
100644 blob 1eb658e8e1cc6aeea463c30b5b65c820c3c4e569	metadata.xml
040000 tree 87538c4fadcc797afe5ef9fc343b883345972d9d	minisat
040000 tree 323e766a7f1f45e7477a9e4b8c14ecd6c483d703	mlpy
040000 tree 276694f9acab4fefb1f37b725751f4ba5bef6eef	msieve
040000 tree 96781fdeec559172619ed9bdbf6a81eb04c86b95	nauty
040000 tree 152a589168db29c67fa28431cdb88d20a9cf0ff7	nestedsums
040000 tree 82923691e63d42e79370e702322108337736d79c	normaliz
040000 tree 5b3d218b2864b8540c601cf871a281adcc3ff9ea	num-utils
040000 tree d2f5ddac1d4005fa18fb1c761bcdd7702295a828	nusmv
040000 tree b1bbe2df19eb235fd403e85d7f28a2a6f7fab6ab	octave-epstk
040000 tree 1de24df2379f81c3d59593138f88278dc389c75e	octave
040000 tree c11e4f1b81b603d9c6c28d34f166aede4e377cb1	otter
040000 tree 3769b9fd54d1e9bc6161912fc391da61a4f63688	p9m4
040000 tree 613dc520c569fbd9c674b0791dd79ac050068341	pari-data
040000 tree a64d7a6614209c9e7b41590eafffe7b0568a89fb	pari
040000 tree f0a171b7fa63026d0d73387a0c34e76af59c07c5	polymake
040000 tree 2c7f96f18797cebc2b06d3b4602c61e6b0a8e127	prng
040000 tree 6f3e2060312d7492f0b18f59c617ae9abbb24ef5	prover9
040000 tree 5f2ba172c274f97546792812228eca53794e23d7	pspp
040000 tree bc5f99e8d2aeb649122063f3ef6f369bdee40136	pymc
040000 tree 07719d05c23d55d267c5a7e3f617b4ea13b838e0	qtoctave
040000 tree 600042b43be2844ba3add49d89a46f4b2f4c9b30	reduce
040000 tree a0235830b16b52884fa48dd6a8e92148ac92afec	relational
040000 tree d37b87ae37ce9aeff1a2383c486fcda9083ac833	rkward
040000 tree 7ccd3d095e63a4a986854f24ba25ad527b6bb0d9	rngstreams
040000 tree 03eaf3537acf24b3b852796d3709b7737e5070a2	rstudio
040000 tree 0d9a8d0d56267d7ca6d5a9e0870200f0bf79463b	rw
040000 tree 7bcb678f1405d4cf25c314180188112b5188cc18	sha1-polyml
040000 tree 8f62a711eae4b5906ac27e00737b59595846a584	singular
040000 tree be73576188b62800abc71776eac35d1fa78b479b	snns
040000 tree 0340e58ae9d0fba5fda1caabaac5e7497667bae4	spass
040000 tree 6a6a09c41c92c0f67a486994df5d269c988bf364	spin
040000 tree d7a1b34060d7ac31e5e82828abd69443040f5973	topcom
040000 tree 31b650d58355797abc87201b3636f7ecb12c84e9	twelf
040000 tree b25244ef840c21801f94148a07501538b29823fe	unuran
040000 tree 5808d2083b1ed683af171ff296785c347c1b2a38	wxmaxima
040000 tree e906dcc9a13aab53057b59e375011afc37e002a0	xmds
040000 tree e047551075999baa40165d539a443e3b0485af0c	yacas
040000 tree 605ee474c77571630341e0d77e528671f4b7c4eb	yafu