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

Mode	Name	Size
d---------	Macaulay2	157	log plain
d---------	Oid	118	log plain
d---------	acl2	119	log plain
d---------	alt-ergo	126	log plain
d---------	apron	126	log plain
d---------	aribas	154	log plain
d---------	axiom	123	log plain
d---------	burrtools	129	log plain
d---------	cadabra	155	log plain
d---------	cipi	119	log plain
d---------	dolfin	155	log plain
d---------	dsfmt	120	log plain
d---------	flocq	122	log plain
d---------	frama-c	159	log plain
d---------	freefem++	156	log plain
d---------	gambit	130	log plain
d---------	gap	153	log plain
d---------	gappa	122	log plain
d---------	gappalib-coq	129	log plain
d---------	giac	121	log plain
d---------	gismo	154	log plain
d---------	htk	152	log plain
d---------	kash-bin	121	log plain
d---------	kayali	155	log plain
d---------	lattE-macchiato	164	log plain
d---------	libsfmt	124	log plain
d---------	lie	152	log plain
d---------	ltl2ba	121	log plain
d---------	mdp	203	log plain
d---------	netgen	250	log plain
d---------	open-axiom	127	log plain
d---------	petsc	292	log plain
d---------	pff	118	log plain
d---------	pulp	124	log plain
d---------	scilab	158	log plain
d---------	surfer	125	log plain
d---------	tisean	155	log plain
d---------	ufc	164	log plain
d---------	why	151	log plain
d---------	why3	120	log plain
d---------	yorick	156	log plain
d---------	z3	161	log plain