sci-mathematics - proj/sci.git - Gentoo Science Overlay

Mode	Name	Size
d---------	Macaulay2	194	log plain
d---------	Oid	155	log plain
d---------	acl2	231	log plain
d---------	algae	191	log plain
d---------	alt-ergo	161	log plain
d---------	apron	160	log plain
d---------	aribas	191	log plain
d---------	axiom	192	log plain
d---------	bertini	161	log plain
d---------	burrtools	166	log plain
d---------	cadabra	286	log plain
d---------	cdfplayer	195	log plain
d---------	cipi	120	log plain
d---------	dolfin	192	log plain
d---------	dsfmt	157	log plain
d---------	flocq	159	log plain
d---------	frama-c	164	log plain
d---------	freefem++	241	log plain
d---------	gambit	167	log plain
d---------	gap-guava	197	log plain
d---------	gap	190	log plain
d---------	gappa	160	log plain
d---------	gappalib-coq	199	log plain
d---------	giac	158	log plain
d---------	htk	152	log plain
d---------	kash-bin	158	log plain
d---------	kayali	192	log plain
d---------	lattE-macchiato	201	log plain
d---------	libsfmt	161	log plain
d---------	lie	189	log plain
d---------	ltl2ba	158	log plain
d---------	mdp	198	log plain
d---------	netgen	193	log plain
d---------	open-axiom	164	log plain
d---------	pest	157	log plain
d---------	petsc	289	log plain
d---------	pff	155	log plain
d---------	polymake	159	log plain
d---------	pulp	158	log plain
d---------	rstudio	298	log plain
d---------	scilab	242	log plain
d---------	surfer	162	log plain
d---------	ufc	157	log plain
d---------	why	188	log plain
d---------	yorick	193	log plain