040000 tree bc17ab156dc24b79e54430bb924bd22a417f6ed7	4ti2
040000 tree ac67184a8ad2da13a886f423d117f958d57c0fca	Macaulay2
040000 tree f4f5da9948f0130eeb45e74ff07ad8041c736e53	agda-executable
040000 tree 58001c136438e2252c131c986281788d4ef8b841	agda-lib-ffi
040000 tree 08bc85c8e32985c8ac294256b37701817a073374	agda-stdlib
040000 tree 983b773a1b8520e555899448b172c80f0773aff6	agda
040000 tree 314c5dafaf9320041ac2c881149472f692460446	axiom
040000 tree 14f64a18cb288ea82c1d8b7651a8bcc957662f3f	bertini
040000 tree f67e9728e13f2ab51e28b5a879e11a748516323c	cado-nfs
040000 tree 25af9b36b3ca84b2ca41451b4ed7fa574e840e01	calc
040000 tree 99092f29634fa3254bf6754e41f252c211fba7a2	cgal
040000 tree e9eed3a835be67471134b6672a251b75f3671250	coq
040000 tree 79a8f2db59b7f0a44ed992f283d529e89430f9b2	cvc3
040000 tree 8c27ca7f3600d1675ce5e0f53ea8508b7d48ecc5	dataplot
040000 tree bc3b0a3f7eb5c1b8fed23b824695d3998a5debbf	diagrtb
040000 tree 89625e7f5e3976d1ee2be43314b58de648dddfe9	drgeo
040000 tree 5aebb0f2ae3af360f68d44fbd6267a3956060a98	e
040000 tree 185167e9f22620a8775ed78f9dfa858f492f41ec	ent
040000 tree 8dd595c7e805ab1edcc69286ccef09a8e66940fa	euler
040000 tree 5e9746734c1739644482a75720d22090bd8d8269	factmsieve
040000 tree 988da5c270ec044dd11138bbfeece3624f584d0b	fann
040000 tree e1e3d8a93aecbd4f8175b626733a311d2ca88fc6	flint
040000 tree 2e6437c3b38e4c05315f4f5f79b638073fb737b5	form
040000 tree a6296b4aa20b362e80715f7f14f36764be74e975	freemat
040000 tree 3e1a198e33dd4696f832c77227f2142aa9aa4c07	fricas
040000 tree b2c807c359388ecc4435b5c5161b02c60914f9c3	frobby
040000 tree 630c1f98e6eac7bccbbabaa1ffa45c0cbdc823c2	genius
040000 tree 0d532df82da0a8ba339f997375de76e3b3bfa88f	geogebra
040000 tree 82d43a1cd0a3b5bcab9a8a55c23890821207d0a5	geomview
040000 tree d006da3d363142bb01eced5bbca822ca1705b9c5	gfan
040000 tree 7bc429ee0364ce6e179ecb07b4112315c4f10e7e	ggnfs
040000 tree 6ec5b91f601cf555a5aacdb09bf74d8b3089435e	gimps
040000 tree fd759429a97014713d4be47eee164c4c009005e1	ginac
040000 tree 0f9b30d4ad38f63cbc313862ff237dbe99171fa6	glpk
040000 tree a111777534fce8c5ceea3b13bb7ed766041fa9f8	gmm
040000 tree 4d4dee86a02460a5a93e52a698accbd0a4ac0513	gmp-ecm
040000 tree 9bbbc09f0bdd017e7664020a791a407179872681	gretl
040000 tree 7140a43cc1ddbb65b15fb9637f01b68e69758a59	gsl-shell
040000 tree 7fb4600e43deddb8ea62bde785afbf43b64f2c8a	gwnum
040000 tree 56a2151f6e69473f91e91d2186b9ed67e9231aa4	isabelle
040000 tree 1135f1c0388a5b7a2c364129a4db5be5b877c689	jags
040000 tree 9b74d7d61c581ac62458f3028ded8772ba26a310	kodkod
040000 tree e94dda7562b18622b5a5429cbb7300bf3b166652	kodkodi
040000 tree 61f8bbcd39368e366666c969bff2a598251bf676	lpsolve
040000 tree b364991703dbeef2732f7baba736bb06e1843365	lybniz
040000 tree 804cbf2c2e04d41470797532bfba285955917b24	mathomatic
040000 tree 451b3f91e4a84e5de20b8117ec2748ae9d0ab137	maxima
100644 blob 1eb658e8e1cc6aeea463c30b5b65c820c3c4e569	metadata.xml
040000 tree a6f7690c6dd850a92fa1bae04143bebc4f27438f	minisat
040000 tree 15add7fd1df875f78f8324ab68c8d89025bbd716	mlpy
040000 tree ad8cc857bf3225e1bd58b9a04c1229c1e89e695c	msieve
040000 tree 41faaba8200c8c848a172f5d161e8ea6d1445a45	nauty
040000 tree 115f19b1ecf191b1421dec800d0d7df06d2064c6	nestedsums
040000 tree ffc9829c5306e6674185282e38ad5b1c41c9605c	normaliz
040000 tree 5aaa352075668b92eaf25ba0c1177eb1baa1f132	num-utils
040000 tree d4f3a4f5c243677fb8332bd74de9e91a424d8120	nusmv
040000 tree 0fb5c6fea1aafd2b6a56d66b5fa5f6698c14abe9	octave-epstk
040000 tree 0908b479c59f9b5814738f13a10d07f08bdc284f	octave
040000 tree 6d5d650ee166ca41480c2a2981666b081d610823	otter
040000 tree 9d3097a879f05d86e04d77116fdae8d432200434	p9m4
040000 tree b12c5b278f149cb7a0695cbb1b57368dc9e4a67d	pari-data
040000 tree 44416f4daa8a9de3a579ecc39dec5f7d90b3362f	pari
040000 tree 980ad2fd49fb79723af9198f8d797241666a1c5b	polymake
040000 tree 84e496a0775115803a0ad22e0c4e40cb60d2f81f	prng
040000 tree 1f4a639e3404744ff8f8618904b8382889ce84ab	prover9
040000 tree 872f630a2bf45dc810d010363d723b2a14ac2595	pspp
040000 tree 8e7379e41242925b03bc293629ba66facfd7e2bf	pymc
040000 tree 1cf84de0e45e950c258d30c81d6824b76fc4bbb2	qtoctave
040000 tree dc0a18119862b934b046491c1fdd2706a7d32971	reduce
040000 tree d777f3af96ddf3a18b4829ae253e34393ae8e222	relational
040000 tree baf57afe85bff191f7f88b1b833cff81e02258dd	rkward
040000 tree 6dffa36349cf4c4b71ef37f00effc6b714600c68	rngstreams
040000 tree 3170b066c40517c6bbb158eb9ef5bd5d6cd1c7e9	rstudio
040000 tree 814d862b66d55655f9ee9f6b876fbb07be3d90da	rw
040000 tree c8c7d563924167a2d3637bab6cdf9b5a1b9eccce	sha1-polyml
040000 tree e44a870df3ee09313775069fac13eea48740f1e4	singular
040000 tree e1399f3c56a4bb7b21b1ff520a907b1dfbe4ef4d	snns
040000 tree 866afa163ca90b57a84b7aba442ada7f7e80c1cd	spass
040000 tree 03f499245a4530428692a9630f294e867b8f9595	spin
040000 tree 9b366243e2ec22bd001a965ec4c2f414f5ec4a8d	topcom
040000 tree 1ca6854a6100de88d109522dac11ffca31d8d03d	twelf
040000 tree a85193a6697fdea08fa35f82a455fb4d48cb970d	unuran
040000 tree 4f07704211390406f7cf21f74a5de789cb16842d	wxmaxima
040000 tree 829bc932368c67b470377d31d8927c1ea52081cb	xmds
040000 tree 576b949983277a35f32db3621ca0350d12779fa1	yacas
040000 tree 071d4c7b4f8e759c4e157c4a446f30eb84581cb8	yafu