GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/proj/guru.git
dev
master
GURU: repository of new packages maintained collaboratively by users
GURU project <guru@gentoo.org>
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
Mode
Name
Size
d---------
aspcud
155
log
plain
d---------
chaco
155
log
plain
d---------
clasp
157
log
plain
d---------
clingo
155
log
plain
d---------
frama-c-aorai
235
log
plain
d---------
frama-c-callgraph
247
log
plain
d---------
frama-c-constant-folding
268
log
plain
d---------
frama-c-dive
232
log
plain
d---------
frama-c-e-acsl
238
log
plain
d---------
frama-c-eva
229
log
plain
d---------
frama-c-from
232
log
plain
d---------
frama-c-impact
238
log
plain
d---------
frama-c-inout
235
log
plain
d---------
frama-c-instantiate
253
log
plain
d---------
frama-c-loopanalysis
256
log
plain
d---------
frama-c-metrics
241
log
plain
d---------
frama-c-nonterm
241
log
plain
d---------
frama-c-obfuscator
250
log
plain
d---------
frama-c-occurrence
250
log
plain
d---------
frama-c-pdg
229
log
plain
d---------
frama-c-postdominators
262
log
plain
d---------
frama-c-printapi
244
log
plain
d---------
frama-c-qed
229
log
plain
d---------
frama-c-reduc
89
log
plain
d---------
frama-c-report
238
log
plain
d---------
frama-c-rtegen
238
log
plain
d---------
frama-c-scope
235
log
plain
d---------
frama-c-security-slicing
268
log
plain
d---------
frama-c-server
238
log
plain
d---------
frama-c-slicing
241
log
plain
d---------
frama-c-sparecode
247
log
plain
d---------
frama-c-studia
238
log
plain
d---------
frama-c-users
235
log
plain
d---------
frama-c-variadic
244
log
plain
d---------
frama-c
258
log
plain
d---------
lean-mathlib
137
log
plain
d---------
minisat+
165
log
plain
d---------
minisatp
165
log
plain
d---------
packup
153
log
plain
d---------
pyromaths
159
log
plain
d---------
qepcad
136
log
plain
d---------
radian
155
log
plain
d---------
rstudio-desktop-bin
214
log
plain
d---------
the-omega-project
174
log
plain