040000 tree 8f69a8977b3e08c289a4dd2e4f9bf2448fab1889	4ti2
040000 tree 6b1350b18207fb48d9a4edcf46fe67529522937e	Macaulay2
040000 tree ca3fd82da48626b6bebdd58cb5807414c98f06d0	agda-executable
040000 tree c489c50810e33f1243e7b390569425c63743d7af	agda-lib-ffi
040000 tree 3e32e653c7ab462ed654cff5325c500c244cb1b0	agda-stdlib
040000 tree 4106c36cd2d010f31811179c8fa63ebb2d0b8668	agda
040000 tree a7d4764f829a919fab32c4bb71839fc5044bd042	axiom
040000 tree cea284d0ce3ef92f82d2a5cf7ba10b8e366d724f	bertini
040000 tree 1fa0429df315a9e2ebe395534cd9cbd90961d357	cado-nfs
040000 tree e25f9890ad19e7721bf6bd87a981612288ab390e	calc
040000 tree 646d4fa5bdd9c5d0118050492d704c10037fb1d4	cgal
040000 tree 43f822b62567c9bb0ab0934240f0295a1bbbe34f	coq
040000 tree 849a29e7ffd31e65577a4d3b0cf7aa675b84dcd5	cvc3
040000 tree 5e1b7fcf4c80222ceda6977b564a3ab9aaaa351d	dataplot
040000 tree 0e02883cacba3d22a437ad9660353cdc9291b4ed	diagrtb
040000 tree 47b09959a04fc524f2c7c11f38f3d6b9ca7e93cd	drgeo
040000 tree 53732fdf781942114391421ba0df6d505cf86aa1	e
040000 tree e5bcee14ef0f3a3bd64c8315255d48d08e5422af	ent
040000 tree 9246bff87b84cffaf120984d9d0fe700cd7493f8	euler
040000 tree 1e72fe979c504421e70eec597a5098712f10ab17	factmsieve
040000 tree 2d3072bf3bec4123a08e26f27bf856e295d5a04c	fann
040000 tree 8b8bb6e410ed6c75bfa0715ccc18e1370f1af1a6	flint
040000 tree d691c291b59482fd60000a9198789119058818d5	form
040000 tree 2ff99bc9514020c7c9bbeaf40cff80fc27b168f4	freemat
040000 tree 41f40cea3b66663ac9cd4f9ef53b115151dc4ad8	fricas
040000 tree 0a8550467a1cf2ff26b4825b35b3da788f280f38	frobby
040000 tree 44e27f4a710f57eadb02db04b76df6fa6d0927d3	genius
040000 tree 058b10ac0eb9e063b9d45721fdf352efa717750d	geogebra
040000 tree e8e73c17200799b2d003dbff6d291873c99e8e8c	geomview
040000 tree 8070b16100734ff9278afa83f6d7628e9494e522	gfan
040000 tree 01d16e85bfee6a4fff05be903ade13e87a5fb6bc	ggnfs
040000 tree 6bc3cd798571d8f9156db9ff52696b09b0ee79dc	gimps
040000 tree 5ae5b9bd93f03ae2b3a12af8c0c85d7d81e720a0	ginac
040000 tree a50de4004838fdd4732652a4b730fed0854359b6	glpk
040000 tree ab42937cef7a8e8896d8ac66d4c8fe6be880b093	gmm
040000 tree a0cf31aa97a7aa0897b67fc6e7900d2ffa8637b0	gmp-ecm
040000 tree 5f341959f9af129025909dbf4d025c3d30dc3caa	gretl
040000 tree 8759c15ef040f8e29ccab54c4b8b1ff9b019739d	gsl-shell
040000 tree e158103b52e1279716b3e257bc789fb9f6f17340	gwnum
040000 tree 496707349bc8582102dd11acc9d6aaf3606a82e8	isabelle
040000 tree 3bcfdc0fa23fd2845ddb2d458190e69cefd5ba5b	jags
040000 tree 3604542989a2ccdb3c660cf33cd7e7a1b0a8451b	kodkod
040000 tree 00d8f714aad5444805241ee6ff30ca04272a647c	kodkodi
040000 tree 10bc8b7fc7b97ef92870c4bcbc8aa8f54db6796a	lpsolve
040000 tree 2c42a1e5a947917cbda3d2575beea2a9509b0d62	lybniz
040000 tree e2e51c601587a16d7dd261b4e5e8fb1d367aab73	mathmod
040000 tree 793d48821355a1b45325075475257c4f853001c4	mathomatic
040000 tree 4b50d5e1c78ddfeb44d7f160bd6cdf393906800f	maxima
100644 blob 1eb658e8e1cc6aeea463c30b5b65c820c3c4e569	metadata.xml
040000 tree fbb234495b8810066483a9ac2da21a93da0b8fa1	minisat
040000 tree 0a109c10f65080466f6d19a93c73d2c6a2ee0f4d	mlpy
040000 tree aa3096ba4dca25f1c3ec6b8badad7c7c725b006e	msieve
040000 tree f1cbc38f2ada14cb64c16ca0df907d9b96849680	nauty
040000 tree 5126c48809747307876280bea4866bc9d57690b5	nestedsums
040000 tree 1731cf8c598e4993471a8f076a6b797fac9a973c	normaliz
040000 tree a696a8e8bce25bf61a336fc6edddf4df9fd2b2e8	num-utils
040000 tree 66286d577d5e3d5c5da043380eccd4265e427626	nusmv
040000 tree 97da1ebc3d30d28bea1ef554633ed6e0af81cf65	octave-epstk
040000 tree 8e5dc5aafd1fff523cbf527c7166aa82d53d3f65	octave
040000 tree 5ad0eb8b1458deb1d1728779372bed8e3a42fa76	otter
040000 tree c17e3e233c7627f8c1b6533b62d9edc71043d37c	p9m4
040000 tree e0fa61acf006741c9a25e8986c9dda31903355d1	pari-data
040000 tree 76311dd8aab4186431ceab09b7bced74c9897f9f	pari
040000 tree e0c84ac9e70b42c447a04b340fd8945b456bbaaf	polymake
040000 tree 51c9f349842f4655abe5bbf2d002dbf780353cf4	prng
040000 tree 3e6fea445f53936d3fe5b6d3ff4577a5b28d6354	prover9
040000 tree ce2a58a1f25ad60655d9e82516a5ea5aba3f1bcb	pspp
040000 tree da914e5a672f05cffaf2cc267f59826db3b39dd7	pymc
040000 tree cd8d9a1d1c91ad968600747e2f1045a37f3096e7	qtoctave
040000 tree 628d14359949bf44d473dd585af7aa0b5c600304	reduce
040000 tree a89a5648d348bb5f3eb59ff879cace8046164938	relational
040000 tree f09df08952a10919a7478b584265d7057d1ce2ae	rkward
040000 tree 9649e96c0a95cd810c9ce067f6c1d50ac1b67494	rngstreams
040000 tree 7338ef6fe61d851a9398f2afa76bfe72892ca29b	rstudio
040000 tree 30d2b6eb8e1591876c5a895971d1ec51a6316a80	rw
040000 tree 39359667aa3ca4778f704ce8a1406f60b93943af	sha1-polyml
040000 tree 1191b3031f9b59688f09cc9ec5e6ed6be5c1d347	singular
040000 tree ef4bdc229b0e025a56142ff0a71f4c5b1b66eac5	snns
040000 tree 9f136dae8fd3396789a3a8a8ea1eeb146295c825	spass
040000 tree 11a357c8cefa65eda670f6736941731d661af866	spin
040000 tree cc06f178008e55ff73b2dec96085f4acd070df70	topcom
040000 tree 8b1b0abb3930e4cc2658ff50d30e4d72882a1c74	twelf
040000 tree 17033ba639f0092caaf1ae81b6c9aec538e6a603	unuran
040000 tree 7e32f7dd9f63957c2214b1ea5154f6983ade3492	wxmaxima
040000 tree 0150b879affdf5b7cbc3cb5c7ee6d2f21c5d191f	xmds
040000 tree 10e9f98fc9ce0875f7a4bc1b8087acdf401128b4	yacas
040000 tree 62c690b6d62674908a9bdab0c64e4beee2595177	yafu