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

Mode	Name	Size
d---------	Macaulay2	194	log plain
d---------	Oid	155	log plain
d---------	acl2	156	log plain
d---------	alt-ergo	163	log plain
d---------	apron	210	log plain
d---------	aribas	191	log plain
d---------	axiom	192	log plain
d---------	burrtools	166	log plain
d---------	cadabra	239	log plain
d---------	cdfplayer	164	log plain
d---------	cipi	156	log plain
d---------	dolfin	192	log plain
d---------	dsfmt	157	log plain
d---------	flocq	159	log plain
d---------	frama-c	196	log plain
d---------	freefem++	193	log plain
d---------	gambit	167	log plain
d---------	gap-guava	197	log plain
d---------	gap	190	log plain
d---------	gappa	159	log plain
d---------	gappalib-coq	166	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	240	log plain
d---------	open-axiom	215	log plain
d---------	pest	157	log plain
d---------	petsc	283	log plain
d---------	pff	155	log plain
d---------	pulp	158	log plain
d---------	scilab	286	log plain
d---------	surfer	162	log plain
d---------	ufc	201	log plain
d---------	why	188	log plain
d---------	why3	157	log plain
d---------	yorick	193	log plain
d---------	z3	198	log plain