sci-mathematics - baldeagleos-repo.git - BaldEagleOS Portage repository

Mode	Name	Size
d---------	4ti2	202	log plain
d---------	abc	201	log plain
d---------	acl2	207	log plain
d---------	alectryon	158	log plain
d---------	alt-ergo	160	log plain
d---------	arb	121	log plain
d---------	bertini	122	log plain
d---------	btor2tools	174	log plain
d---------	cadabra	160	log plain
d---------	cadical	204	log plain
d---------	calc	156	log plain
d---------	cgal	327	log plain
d---------	clipper2	174	log plain
d---------	cliquer	170	log plain
d---------	coq-mathcomp	133	log plain
d---------	coq-serapi	160	log plain
d---------	coq-stdlib	181	log plain
d---------	coq	355	log plain
d---------	cryptominisat	167	log plain
d---------	cubicle	159	log plain
d---------	cudd	156	log plain
d---------	cvc4	154	log plain
d---------	dataplot	160	log plain
d---------	dsfmt	154	log plain
d---------	dunshire	128	log plain
d---------	easycrypt	180	log plain
d---------	eclib	157	log plain
d---------	ent	153	log plain
d---------	eprover	205	log plain
d---------	euler	158	log plain
d---------	fann	200	log plain
d---------	flint	304	log plain
d---------	flocq	122	log plain
d---------	form	249	log plain
d---------	frama-c-aorai	129	log plain
d---------	frama-c-callgraph	133	log plain
d---------	frama-c-constant-folding	140	log plain
d---------	frama-c-dive	128	log plain
d---------	frama-c-e-acsl	130	log plain
d---------	frama-c-eva	127	log plain
d---------	frama-c-from	128	log plain
d---------	frama-c-impact	130	log plain
d---------	frama-c-inout	129	log plain
d---------	frama-c-instantiate	135	log plain
d---------	frama-c-loopanalysis	136	log plain
d---------	frama-c-metrics	131	log plain
d---------	frama-c-nonterm	131	log plain
d---------	frama-c-obfuscator	134	log plain
d---------	frama-c-occurrence	134	log plain
d---------	frama-c-pdg	127	log plain
d---------	frama-c-postdominators	138	log plain
d---------	frama-c-printapi	132	log plain
d---------	frama-c-qed	127	log plain
d---------	frama-c-reduc	129	log plain
d---------	frama-c-report	130	log plain
d---------	frama-c-rtegen	130	log plain
d---------	frama-c-scope	129	log plain
d---------	frama-c-security-slicing	140	log plain
d---------	frama-c-server	130	log plain
d---------	frama-c-slicing	131	log plain
d---------	frama-c-sparecode	133	log plain
d---------	frama-c-studia	130	log plain
d---------	frama-c-users	129	log plain
d---------	frama-c-variadic	132	log plain
d---------	frama-c	126	log plain
d---------	fricas	172	log plain
d---------	frobby	158	log plain
d---------	functions-matlab-colormaps	151	log plain
d---------	gap	204	log plain
d---------	gappa	168	log plain
d---------	gappalib-coq	185	log plain
d---------	genius	207	log plain
d---------	gfan	204	log plain
d---------	giac	160	log plain
d---------	gimps	302	log plain
d---------	ginac	201	log plain
d---------	glpk	200	log plain
d---------	gmm	120	log plain
d---------	gmp-ecm	127	log plain
d---------	gp2c	168	log plain
d---------	gretl	154	log plain
d---------	gsl-shell	158	log plain
d---------	highs	158	log plain
d---------	jags	156	log plain
d---------	kind2	122	log plain
d---------	kissat	173	log plain
d---------	lcalc	122	log plain
d---------	lean	249	log plain
d---------	libpoly	125	log plain
d---------	lpsolve	213	log plain
d---------	lrcalc	198	log plain
d---------	manifold	225	log plain
d---------	mathematica	630	log plain
d---------	mathmod	158	log plain
d---------	mathomatic	131	log plain
d---------	maxima	258	log plain
-rw-r--r--	metadata.xml	1326	log plain
d---------	metamath-databases	138	log plain
d---------	metamath	157	log plain
d---------	minisat	159	log plain
d---------	msieve	206	log plain
d---------	nauty	157	log plain
d---------	nestedsums	130	log plain
d---------	normaliz	275	log plain
d---------	num-utils	159	log plain
d---------	octave-epstk	127	log plain
d---------	octave	206	log plain
d---------	opensmt	204	log plain
d---------	otter	155	log plain
d---------	palp	120	log plain
d---------	pari-data	129	log plain
d---------	pari	246	log plain
d---------	petsc	343	log plain
d---------	picosat	154	log plain
d---------	planarity	180	log plain
d---------	plfit	122	log plain
d---------	polymake	252	log plain
d---------	primecount	125	log plain
d---------	primesieve	126	log plain
d---------	prng	156	log plain
d---------	prover9	162	log plain
d---------	proverif	255	log plain
d---------	psmt2-frontend	131	log plain
d---------	pspp	204	log plain
d---------	pyromaths	162	log plain
d---------	rink	213	log plain
d---------	rkward	123	log plain
d---------	rngstreams	127	log plain
d---------	rstudio-desktop-bin	286	log plain
d---------	rw	117	log plain
d---------	sha1-polyml	126	log plain
d---------	singular	209	log plain
d---------	slepc	264	log plain
d---------	smtinterpol	171	log plain
d---------	spin	156	log plain
d---------	stp	155	log plain
d---------	sympow	157	log plain
d---------	topcom	206	log plain
d---------	twelf	157	log plain
d---------	unuran	202	log plain
d---------	vampire	172	log plain
d---------	verifpal	158	log plain
d---------	verit	126	log plain
d---------	why3-for-spark	171	log plain
d---------	why3	333	log plain
d---------	wxmaxima	235	log plain
d---------	yacas	206	log plain
d---------	yafu	157	log plain
d---------	yices2	123	log plain
d---------	z3	120	log plain